Value of a classical integer in lambda mu-calculus

Archive for Mathematical Logic 36 (6):461-473 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

La valeur d'un entier classique en $\lambda\mu$ -calcul.Karim Nour - 1997 - Archive for Mathematical Logic 36 (6):461-473.
Strong normalization of a symmetric lambda calculus for second-order classical logic.Yoriyuki Yamagata - 2002 - Archive for Mathematical Logic 41 (1):91-99.
$lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
Stationary Sets and Infinitary Logic.Saharon Shelah & Jouko Vaananen - 2000 - Journal of Symbolic Logic 65 (3):1311-1320.
Stationary sets and infinitary logic.Saharon Shelah & Jouko Väänänen - 2000 - Journal of Symbolic Logic 65 (3):1311-1320.
Strong Reduction of Combinatory Calculus with Streams.Koji Nakazawa & Hiroto Naya - 2015 - Studia Logica 103 (2):375-387.
Pcf without choice Sh835.Saharon Shelah - forthcoming - Archive for Mathematical Logic:1-32.
The Calculi of Lambda-conversion.Alonzo Church - 1985 - Princeton, NJ, USA: Princeton University Press.
Towards a homotopy domain theory.Daniel O. Martínez-Rivillas & Ruy J. G. B. de Queiroz - 2022 - Archive for Mathematical Logic 62 (3):559-579.
Erratum to: Limit computable integer parts.Paola D’Aquino, Julia Knight & Karen Lange - 2015 - Archive for Mathematical Logic 54 (3-4):487-489.

Analytics

Added to PP
2014-03-24

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references