MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Types for Proofs and Programs" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

66 documents found, showing 1 through 10. Next 10 →

ATOM

Types for Proofs and Programs
by Bernd Grobauer — 1999
…Types for Proofs and Programs Bernd Grobauer Progress Report BRICS BRICS Ph.D. School Department…
Add To MetaCart

Proceedings Of The 1992 Workshop On Types For Proofs And Programs
by Bengt Nordström, Kent Petersson, Gordon Plotkin (eds.), Gordon Plotkin — 1992
…PROCEEDINGS OF THE 1992 WORKSHOP ON TYPES FOR PROOFS AND PROGRAMS Bastad June 1992 Eds Bengt…
Add To MetaCart

PROCEEDINGS OF THE 1992 WORKSHOP ON TYPES FOR PROOFS AND PROGRAMS Bastad
by June Eds Bengt, Bengt Nordstrom, Kent Petersson, Gordon Plotkin
…PROCEEDINGS OF THE 1992 WORKSHOP ON TYPES FOR PROOFS AND PROGRAMS Bastad June 1992 Eds Bengt…
Add To MetaCart

Informal Proceedings Of The 1993 Workshop On Types For Proofs And Programs, Nijmegen
by Herman Geuvers (ed.) — 1993
…INFORMAL PROCEEDINGS OF THE 1993 WORKSHOP ON TYPES FOR PROOFS AND PROGRAMS…
Add To MetaCart

Closure Under Alpha-Conversion
by Randy Pollack — 1993 — In The Informal Proceeding of the 1993 Workshop on Types for Proofs and Programs
… of this paper appears in Types for Proofs and Programs: International Workshop TYPES'93, Nijmegen, May 1993…
Cited by 13 (2 self) – Add To MetaCart

Proof search for programming in Intuitionistic Linear Logic (Extended Abstract)
by D. Galmiche, E. Boudinet — 1994 — CADE-12 Workshop on Proof Search in Type-Theoretic Languages
…Proof search for programming in Intuitionistic Linear Logic (extended abstract) D. Galmiche & E…
Cited by 8 (3 self) – Add To MetaCart

A Type-Free Theory of Half-Monotone Inductive Definitions
by Y. Kaneyama, Y. Takayama, S. Allen, R. L. Constable, D. Howe, W. Aitken
…", Proc. of the 1992 Workshop on Types for Proofs and Programs, Baastad, eds. B. Nordstrom et al. (1992…
Add To MetaCart

Test Case Extraction from Correctness Proofs Case for Support
by Previous Track Record, Savi Maharaj
…-chancellors and Principals and by the ESPRIT Basic Research Action "Types for Proofs and Programs". The thesis was supervised…
Add To MetaCart

Implementation of Intuitionistic Type Theory and Realizability Theory
by Yuki Komagata, David A. Schmidt — 1995
… the correspondences propositions are types are specifications and proofs are programs are values [16], a proof can…
Cited by 2 (0 self) – Add To MetaCart

Inheritance of Proofs
by Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup, Fachbereich Mathematik, Lehrstuhl Fur Informatik Vii — 1996
…, is the correspondence between logical propositions and types, or proofs and programs respectively, captured by the Curry…
Cited by 5 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB