Inclusions and subtypes II: Higher-order case
- Martí-Oliet, N.
- Meseguer, J.
ISSN: 0955-792X
Ano de publicación: 1996
Volume: 6
Número: 4
Páxinas: 541-572
Tipo: Artigo
ISSN: 0955-792X
Ano de publicación: 1996
Volume: 6
Número: 4
Páxinas: 541-572
Tipo: Artigo