Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Details
- Autor(en) / Beteiligte
- Titel
- Basic simple type theory
- Ist Teil von
- Auflage
- [Nachdr.]
- Ort / Verlag
- Cambridge [u.a.] : Cambridge Univ. Press
- Erscheinungsjahr
- 2002
- Link zu anderen Inhalten
- Sprache
- Englisch
- Identifikatoren
- ISBN: 0521465184, 9780521054225OCLC-Nummer: 1106886118, 1106886118Titel-ID: 990009893760106463
- Format
- XI, 186 S. : graph. Darst.
- Systemstelle
- TVM
- Schlagworte
- Typentheorie