Computation and Deduction

Computation and Deduction (2001)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Frank Pfenning

Citations:

27 - 1 self

BibTeX

@MISC{Pfenning01computationand,
    author = {Frank Pfenning},
    title = {Computation and Deduction },
    year = {2001}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1497	The Definition of Standard ML - Milner, Tofte, et al. - 1997
1182	A structural approach to operational semantics - Plotkin - 1981
874	A theory of type polymorphism in programming - Milner - 1978
634	A framework for defining logics - Harper, Honsell, et al. - 1999
395	The formulae-as-types notion of construction - Howard - 1980
363	LCF considered as a programming language - Plotkin - 1977
290	The calculi of lambda-conversion - Church - 1941
281	System description: Twelf - a meta-logical framework for deductive systems - Pfenning, Schürmann - 1999
280	Natural semantics - Kahn - 1988
221	Principal type schemes for functional programs - Damas, Milner - 1982
219	Call-by-name, call-by-value, and the -calculus - Plotkin - 1975
184	Combinatory Logic - Curry, Feys - 1958
174	Call-by-name, call-by-value and the λ-calculus - Plotkin - 1976
172	Logic programming in the LF logical framework - Pfenning - 1991
138	Semantics of Programming Languages - Gunter - 1993
117	On the meanings of the logical constants and the justifications of the logical laws - Martin-Löf - 1996
90	A simple applicative language: Mini-ml - Clément, Despeyroux, et al. - 1986
79	A set of postulates for the foundation of logic - Church - 1933
53	Grundlagen der Mathematik - Hilbert, Bernays - 1934
42	Natural Deduction. Almquist - Prawitz - 1965
33	Elf: A meta-language for deductive systems - Pfenning - 1995
25	Investigating a Proof-Theoretic Meta-Language for Functional Programs - Hannan - 1991
18	Extended natural semantics - Hannan - 1993
18	Untersuchungen "uber das Logische Schliessen I und II. Mathematische Zeitschrift - Gentzen - 1935
10	A meta-logic for functional programming - Hannan, Miller - 1989
4	A set of postulates for the foundation of logic II - Church - 1933
1	PS99] Frank Pfenning and Carsten Sch"urmann. System description: Twelf -- a meta-logical framework for deductive systems - Almquist, Wiksell - 1965