search result

Cover von Correctness and completeness of a categorical semantics of the calculus of constructions
Author: Streicher, Thomas Search for this author
Year: 1989
Publisher: Passau, Universität
Series: MIP / Universität Passau / Fakultät für Mathematik und Informatik; 8913
Media group: DISSERTATION
Cover von Semantics of type theory
correctness, completeness and independence results
Author: Streicher, Thomas Search for this author
Year: 1991
Publisher: Boston, Birkhäuser
Series: Progress in theoretical computer science
Media group: MONOGRAPHIE
Cover von Domain-theoretic foundations of functional programming
Author: Streicher, Thomas Search for this author
Year: 2006
Publisher: Singapore, World Scientific
Media group: MONOGRAPHIE
Cover von Relative Completeness for Logics of Functional Programs

Relative Completeness for Logics of Functional Programs

Year: 2011
Media group: LIPIcs
Cover von Semantic foundations of proof-search
01.04. - 06.04.01, Seminar Nr. 01141
Search for this author
Year: 2001
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 303
Media group: DAGSTUHL-SEMINAR-REP
Cover von In domain realizability, not all functionals on C[-1, 1] are continuous

In domain realizability, not all functionals on C[-1, 1] are continuous

article
Year: 2002
Media group: ARTICLE
OPEN V 11.1.0.0