Proof nets and explicit substitutions

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Di Cosmo, Roberto (VerfasserIn)
Weitere Verfasser:	Kesner, Delia (VerfasserIn), Polonovski, Emmanuel (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Orsay LRI 2000
Schriftenreihe:	Rapport de recherche / Université de Paris Sud, Laboratoire de Recherche en Informatique 1248
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	45 S. graph. Darst.