Typing in pure type systems
In: Information and Computation, Jg. 105 (1993), Heft 1, S. 30-41
Online
serialPeriodical
Zugriff:
Titel: |
Typing in pure type systems
|
---|---|
Autor/in / Beteiligte Person: | Benthem Jutting, van, L.S. ; Mathematics and Computer Science |
Link: | |
Zeitschrift: | Information and Computation, Jg. 105 (1993), Heft 1, S. 30-41 |
Veröffentlichung: | 1993 |
Medientyp: | serialPeriodical |
ISSN: | 5290-0002 (print) ; 0890-5401 (print) |
DOI: | 10.1006/inco.1993.1038 |
Sonstiges: |
|