Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 205,590,324 papers from all fields of science

Search

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2009

Highly Cited

2009

Abstract Session types support a type-theoretic formulation of structured patterns of communication, so that the communication…

Highly Cited

2008

Highly Cited

2008

The intuitionistic modal logic of necessity is based on the judgmental notion of categorical truth. In this article we…

Highly Cited

2007

Highly Cited

2007

Dependent type theories have a long history of being used for theorem proving. One aspect of type theory which makes it very…

Highly Cited

2001

Highly Cited

2001

Highly Cited

1994

Highly Cited

1994

Preface Introduction 1. The extended calculus of constructions 2. Basic meta-theoretic properties 3. Strong normalisation 4. The…

Highly Cited

1990

Highly Cited

1990

data type, 179 abstraction, 14 Abstraction rule, 143 absurdity, 43 append, 68 application, 13 Application rule, 143 apply, 48…

Highly Cited

1990

Highly Cited

1990

Part 1 Polymorphic sets: the semantics of the judgement forms general rules enumeration sets Cartesian product of a family of…

Highly Cited

1986

Highly Cited

1986

This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax…

Highly Cited

1950

Highly Cited

1950

The first order functional calculus was proved complete by Gödel in 1930. Roughly speaking, this proof demonstrates that each…

Highly Cited

1940

Highly Cited

1940

The purpose of the present paper is to give a formulation of the simple theory of types which incorporates certain features of…