Twenty-five years of constructive type theory proceedings of a conference held in Venice, October 1995

Literaturangaben

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Conference Twenty-Five Years of Constructive Type Theory (BerichterstatterIn)
Weitere Verfasser:	Sambin, Giovanni (HerausgeberIn), Smith, Jan M. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Oxford u.a. Clarendon 1998
Schriftenreihe:	Oxford logic guides 36
Schlagworte:	Konferenzschrift > Konstruktive Mathematik > Typentheorie
Online Zugang:	Inhaltstext Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!