登入選單
Google圖書搜尋
DI-domains as a Model of Polymorphism
作者
Thierry Coquand / C. Gunter / Glynn Winskel
出版1987
ISBN
UCAL:B4502332
主題
Lambda calculus
Constructions: a Higher Order Proof System for Mec...
作者
Institut National de Recherche en Informatique et en Automatique / T. Coquand / G. Huet
出版1985
ISBN
OCLC:123316837
Types for Proofs and Programs
作者
Thierry Coquand / Peter Dybjer / Bengt Nordström / Jan Smith
出版Springer, 2000-12-13
ISBN
3540415173 / 9783540415176
主題
Computers
An Analysis of Girard's Paradox
作者
Thierry Coquand / Institut national de recherche en informatique et en automatique (France)
出版1986
ISBN
OCLC:35491140
Metric Boolean Algebras and Constructive Measure T...
作者
Thierry Coquand / Erik Palmgren
出版2000
ISBN
OCLC:897812519
Type Theory and Programming
作者
Thierry Coquand / B. Nordström / Chalmers tekniska högskola / Programming Methodology Group / Göteborgs universitet / J. M. Smith
出版1994
ISBN
OCLC:186708906
主題
Computer programming
A Nilregular Element Property
出版2006
ISBN
OCLC:1184326093
The Calculus of Constructions
作者
T. Coquand / Institut national de recherche en informatique et en automatique (France) / G. Huet
出版1986
ISBN
OCLC:35491159
Metamathematical Investigations of a Calculus of C...
作者
Institut National de Recherche en Informatique et en Automatique / T. Coquand
出版1989
ISBN
OCLC:123324684
主題
Logic, Symbolic and mathematical
Mathematics, Algorithms, Proofs
出版2006
ISBN
OCLC:1184355404
A Proof of Strong Normalization for the Theory of ...
作者
Thierry Coquand / Jean H. Gallier
出版1990
ISBN
OCLC:26847432
主題
Constructive mathematics
A-translation and Looping Combinators in Pure Type...
作者
Thierry Coquand / Hugo Herbelin
出版1992
ISBN
OCLC:839116009
On the Computational Content of the Axiom of Choic...
作者
Stefano Berardi / M. A. Bezem / Thierry Coquand
出版1994
ISBN
9039306737 / 9789039306734
Intuitionistic Choice and Classical Logic
作者
Thierry Coquand / Erik Palmgren
出版1997
ISBN
OCLC:258498739
Types for Proofs and Programs
作者
Thierry Coquand
出版2000
ISBN
OCLC:756534533
Résolutions libres finies
作者
Thierry Coquand / Henri Lombardi
出版2024-06-20
ISBN
2493230132 / 9782493230133
Une théorie des constructions
作者
Thierry Coquand
出版1985
ISBN
2726104126 / 9782726104125
Concepts mathematiques et informatiques formalises...
作者
Thierry Coquand / Institut national de recherche en informatique et en automatique (France)
出版1986
ISBN
OCLC:35490846