close
1.

図書

図書
Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)
出版情報: Berlin : Springer, c2001  xv, 708 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2083 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書

図書
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  viii, 207 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1657
所蔵情報: loading…
目次情報: 続きを見る
On Relating Type Theories and Set Theories / Peter Aczel
Communication Modelling and Context-Dependent Interpretation: An Integrated Approach / René Ahn ; Tijn Borghuis
Gröbner Bases in Type Theory / Thierry Coquand ; Henrik Persson
A Modal Lambda Calculus with Iteration and Case Constructs / Joëlle Despeyroux ; Pierre Leleu
Proof Normalization Modulo / Gilles Dowek ; Benjamin Werner
Proof of Imperative Programs in Type Theory / Jean-Christophe Filliâtre
An Interpretation of the Fan Theoremin Type Theory / Daniel Fridlender
Conjunctive Types and SKInT / Jean Goubault-Larrecq
Modular Structures as Dependent Types in Isabelle / Florian Kammüller
Metatheory of Verification Calculi in LEGO / Thomas Kleymann
Bounded Polymorphism for Extensible Objects / Luigi Liquori
About Effective Quotients in Constructive Type Theory / Maria Emilia Maietti
Algorithms for Equality and Unification in the Presence of Notational Definitions / Frank Pfenning ; Carsten Schurmann
A Preview of the Basic Picture: A New Perspective on Formal Topology / Giovanni Sambin ; Silvia Gebellato
On Relating Type Theories and Set Theories / Peter Aczel
Communication Modelling and Context-Dependent Interpretation: An Integrated Approach / René Ahn ; Tijn Borghuis
Gröbner Bases in Type Theory / Thierry Coquand ; Henrik Persson
3.

図書

図書
Eduardo Giménez, Christine Paulin-Mohring (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  viii, 372 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1512
所蔵情報: loading…
4.

図書

図書
David Basin, Michaël Rusinowitch(eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xii, 491 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3097 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書

図書
International Workshop on the ACL2 Theorem Prover and Its Applications
出版情報: New York, N.Y. : Association for Computing Machinery, c2009  138 p. ; 28 cm
シリーズ名: ACM international conference proceedings series
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼