Inclusions and subtypes II: Higher-order case
- Martí-Oliet, N.
- Meseguer, J.
ISSN: 0955-792X
Argitalpen urtea: 1996
Alea: 6
Zenbakia: 4
Orrialdeak: 541-572
Mota: Artikulua
Aldizkaria:
Journal of Logic and Computation