Comparing cubes-Reference-Cited by-同舟云学术

Comparing cubes

Published:1994 Issue: Volume: Page:353-365
ISSN:0302-9743
Container-title:Logical Foundations of Computer Science
language:
Short-container-title:

Author:

Bakel Steffen,Liquori Luigi,Rocca Simona Ronchi,Urzyczyn Paweł

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58140-5_33.pdf

Reference15 articles.

1. Barendregt, H.P., Lambda Calculi with Types, Handbook of Logic in Computer Science, Abramsky, Gabbai, Maibaum eds., Oxford University Press, 1991.

2. Barendregt, H.P., Introduction to Generalised Type Systems, Journal of Functional Programming, volume 1(2), 125–154, 1991.

3. Berardi, S., Towards a Mathematical Analysis of Type Dependence in Coquand-Huet Calculus of Constructions and the Other Systems in Barendregt's Cube, Department of Computer Science, CMU, and Dipartimento di Matematica, Torino, 1988.

4. Curry, H.B., Modified Basic Functionality in Combinatory Logic, Dialectica, 1969.

5. Coquand, T., Metamathematical Investigations of a Calculus of Constructions, Logic and Computer Science, Odifreddi ed., Academic Press, 91–122, 1990.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On completeness of reducibility candidates as a semantics of strong normalization;Logical Methods in Computer Science;2012-02-16

2. The Implicit Calculus of Constructions Extending Pure Type Systems with an Intersection Type Binder and Subtyping;Lecture Notes in Computer Science;2001

3. Domain-free pure type systems;Logical Foundations of Computer Science;1997