search result

Cover von Types for proofs and programs
international workshop : Bastad, Sweden, June 6 - 10, 1994 : selected papers
Search for this author
Year: 1994
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 996
Media group: MONOGRAPHIE
Cover von Semantics and Logics of Computation
Search for this author
Year: 2009
Publisher: Cambridge, Cambridge University Press
Series: Publications of the Newton Institute
Media group: MONOGRAPHIE
Cover von Introduction to the special issue on dependent type theory meets practical programming

Introduction to the special issue on dependent type theory meets practical programming

article
Year: 2004
Media group: ARTICLE
Cover von Dependent type theory meets practical programming; 1
special issue : S. 1-128
Search for this author
Year: 2004
Publisher: Cambridge, Cambridge University Press
Count: 1
Media group: SPECIAL ISSUE
Cover von Dependent type theory meets practical programming
19.08. - 24.08.01, Seminar Nr. 01341
Search for this author
Year: 2001
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 317
Media group: DAGSTUHL-SEMINAR-REP
Cover von Category theory and computer science
Manchester, UK, September 5 - 8, 1989 : proceedings
Search for this author
Year: 1989
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 389
Media group: MONOGRAPHIE
Cover von Undecidability of Equality in the Free Locally Cartesian Closed Category

Undecidability of Equality in the Free Locally Cartesian Closed Category

Year: 2015
Media group: LIPIcs
Cover von Types for proofs and programs
international workshop : Lökeberg, Sweden, June 12 - 16, 1999 : selected papers
Search for this author
Year: 2000
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1956
Media group: MONOGRAPHIE
Cover von LIPIcs, Volume 130, TYPES'18, Complete Volume

LIPIcs, Volume 130, TYPES'18, Complete Volume

Year: 2019
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0