Inclusions and subtypes II: Higher-order case

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

ISSN: 0955-792X

Datum der Publikation: 1996

Ausgabe: 6

Nummer: 4

Seiten: 541-572

Art: Artikel

DOI: 10.1093/LOGCOM/6.4.541 GOOGLE SCHOLAR