Basic simple type theory

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hindley, James Roger (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge u.a. Cambridge University Press 1997
Ausgabe:	1. publ.
Schriftenreihe:	Cambridge tracts in theoretical computer science 42
Schlagworte:	Programming languages (Electronic computers) > Type theory > Typentheorie
Online Zugang:	Inhaltstext Sample text Publisher description Table of contents
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!