The genericity theorem and the notion of parametricity in the polymorphic [lambda]-calculus

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Longo, Giuseppe (VerfasserIn)
Weitere Verfasser:	Milsted, Kathleen (VerfasserIn), Soloviev, Sergei (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Paris LIENS 1992
Schriftenreihe:	Rapport de recherche du LIENS 92-25
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!