S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum, editors. Handbook of Logic in Computer Science, Volume 2: Background: Computational Structures. Oxford University Press, 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Revisiting the Notion of Function - Kamareddine, Laan, Nederpelt (Correct)
No context found.
S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum, editors. Handbook of Logic in Computer Science, Volume 2: Background: Computational Structures. Oxford University Press, 1992.
Parameters in Pure Type Systems - Bloo, Kamareddine, Laan, Nederpelt (2002) (1 citation) (Correct)
No context found.
S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum, editors. Handbook of Logic in Computer Science, Volume 2: Background: Computational Structures. Oxford University Press, 1992.
Types In Logic And Mathematics Before 1940 - Kamareddine, Laan, Nederpelt (2002) (1 citation) (Correct)
No context found.
S. Abramsky, Dov M. Gabbay, and T. S. E. Maibaum (editors), Handbook of logic in computer science, Volume 2: Background: Computational structures, Oxford University Press, 1992.
Types in Logic and Mathematics before 1940 - Kamareddine, Laan, Nederpelt (1940) (1 citation) (Correct)
No context found.
S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum, editors. Handbook of Logic in Computer Science, Volume 2: Background: Computational Structures. Oxford University Press, 1992.
Pure Type Systems with de Bruijn indices - Kamareddine, Ríos (Correct)
No context found.
S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum, editors. Handbook of Logic in Computer Science, Volume 2: Background: Computational Structures. Oxford University Press, 1992.
The Impact of the Lambda Calculus in Logic and Computer Science - Barendregt (1997) (8 citations) (Correct)
No context found.
S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum (editors), Handbook of logic in computer science, Volume 2: Background: Computational structures, Oxford University Press, 1992.
Refining the Barendregt Cube using Parameters - Kamareddine, Laan, Nederpelt (2001) (Correct)
No context found.
S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum, editors. Handbook of Logic in Computer Science, Volume 2: Background: Computational Structures. Oxford University Press, 1992.
Proof-assistants using Dependent Type Systems - Barendregt, Geuvers (1999) (5 citations) (Correct)
No context found.
Abramsky, S., Dov M. Gabbay and T.S.E. Maibaum (eds.) [1992]. Handbook of Logic in Computer Science, Volume 2: Background: Computational Structures, Oxford Science Publications.
The Impact of the Lambda Calculus in Logic and Computer Science - Barendregt (1997) (8 citations) (Correct)
No context found.
Abramsky, S., D. M. Gabbay and T.S.E. Maibaum (eds.) [1992] Handbook of Logic in Computer Science, Volume 2: Background: Computational Structures , Oxford Science Publications.
A formalization of the Ramified Type Theory - Laan (1995) (4 citations) (Correct)
No context found.
S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum, editors. Handbook of Logic in Computer Science, Volume 2: Background: Computational Structures. Oxford Science Publications, 1992.
AUTOMATH and Pure Type Systems - Laan (1996) (Correct)
No context found.
S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum, editors. Handbook of Logic in Computer Science, Volume 2: Background: Computational Structures. Oxford Science Publications, 1992.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC