Annals of Pure and Applied Logic 83 (1):23-101 (1997)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/s0168-0072(96)00008-5
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,307
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Sequent Calculus for Type Assignment.Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):11-28.
A Tour of the Multivariate Lambda Calculus.Garrel Pottinger - 1990 - In J. Dunn & A. Gupta (eds.), Truth or Consequences. Kluwer Academic Publishers. pp. 209--229.

Add more references

Citations of this work BETA

Pure Type Systems with More Liberal Rules.Martin Bunder & Wil Dekkers - 2001 - Journal of Symbolic Logic 66 (4):1561-1580.
Variants of the Basic Calculus of Constructions.M. W. Bunder & Jonathan P. Seldin - 2004 - Journal of Applied Logic 2 (2):191-217.

View all 6 citations / Add more citations

Similar books and articles


Added to PP index

Total views
28 ( #408,525 of 2,507,805 )

Recent downloads (6 months)
1 ( #416,820 of 2,507,805 )

How can I increase my downloads?


My notes