Inclusions and subtypes II: Higher-order case

  1. Martí-Oliet, N.
  2. Meseguer, J.
Journal:
Journal of Logic and Computation

ISSN: 0955-792X

Year of publication: 1996

Volume: 6

Issue: 4

Pages: 541-572

Type: Article

DOI: 10.1093/LOGCOM/6.4.541 GOOGLE SCHOLAR
Data source: Scopus