Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

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… Expand

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… Expand

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… Expand

Highly Cited

2001

Highly Cited

2001

Chapter Headings only. Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory… Expand

Highly Cited

1994

Highly Cited

1994

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

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… Expand

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… Expand

Highly Cited

1986

Highly Cited

1986

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

Highly Cited

1950

Highly Cited

1950

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

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… Expand