If you are experiencing problems downloading PDF or HTML fulltext, our helpdesk recommend clearing your browser cache and trying again. If you need help in clearing your cache, please click here . Still need help? Email help@ingentaconnect.com

Publisher: Elsevier

Related content
Volume 58, Number 1, January 2004

< previous issue | all issues | next issue >

Favourites:Add to Favourites
Favourites:Add to Favourites

Encoding Generic Judgments - Preliminary results
pp. 1-20(20)
Author: Miller, D.

Favourites:Add to Favourites

A Representation of F in LF
pp. 1-18(18)
Authors: Schurmann, C.; Yu, D.; Ni, Z.

Favourites:Add to Favourites
Favourites:Add to Favourites

The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective)
pp. 1-19(19)
Authors: Vestergaard, R.; Brotherston, J.

Share Content

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more