default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematics, Logic and Computation @ ICALP 2003: Valencia, Spain
- Herman Geuvers, Fairouz Kamareddine:
Mathematics, Logic and Computation, Satellite Event of ICALP 2003, Eindhoven, The Netherlands, July 4-5, 2003. Electronic Notes in Theoretical Computer Science 85(7), Elsevier 2003 - Yves Bertot:
Simple canonical representation of rational numbers. 1-16 - Gilles Dowek
, Ying Jiang:
Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic. 17-29 - Fairouz Kamareddine, Twan Laan, Rob Nederpelt:
Automath and Pure Type Systems. 30-49 - Gueorgui I. Jojgov:
Tactics and parameters. 50-68 - Grzegorz Bancerek:
On the structure of Mizar types. 69-85 - Fairouz Kamareddine, Alejandro Ríos:
Explicit substitutions à la de Bruijn: the local and global way. 86-105 - David Chemouil, Sergei Soloviev:
Remarks on isomorphisms of simple inductive types. 106-124 - M. Randall Holmes:
Polymorphic type checking for the ramified theory of types of Principia Mathematica. 125-145 - Herman Geuvers, Fairouz Kamareddine:
Preface. 146-147
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
