Back to Search Start Over

Qualitative $\lambda$-models as type assignment systems

Authors :
Honsell, F.
Ronchi della Rocca, S.
Klop, Jan Willem
Meijer, J.J.C.
Rutten, Jan
Computational models
Publication Year :
1989
Publisher :
CWI, 1989.

Details

Language :
English
Database :
OpenAIRE
Accession number :
edsair.narcis........acd1b16dc4391c29c2ddaccfefb1534b

Tools

Authors Abstract Subjects Details