Stochastic λ-calculi: An extended abstract

Journal of Applied Logic 12 (3):369-376 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2014.03.003

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

External links

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

Gentzen Calculi for the Existence Predicate.Matthias Baaz & Rosalie Iemhoff - 2006 - Studia Logica 82 (1):7-23.
Review: Dana Scott, M. P. Fourman, C. J. Mulvey, D. S. Scott, Identity and Existence in Intuitionistic Logic. [REVIEW]D. van Dalen - 1985 - Journal of Symbolic Logic 50 (2):548-549.
Review: Dana S. Scott, Background to Formalization. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):316-316.
Dana S. Scott.Distinguished Guests Frolov - 1989 - In Jens Erik Fenstad, Ivan Timofeevich Frolov & Risto Hilpinen (eds.), Logic, methodology, and philosophy of science VIII: proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987. New York, NY, U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science.
Positive Frege and its Scott‐style semantics.Thierry Libert - 2008 - Mathematical Logic Quarterly 54 (4):410-434.
Review: Jan Kalicki, Dana Scott, Equational Completeness of Abstract Algebras. [REVIEW]Jerzy Los - 1958 - Journal of Symbolic Logic 23 (1):56-56.
Review: Dana Scott, The Lattice of Flow Diagrams. [REVIEW]John C. Reynolds - 1975 - Journal of Symbolic Logic 40 (2):247-248.
Review: Dana Scott, On Constructing Models for Arithmetic. [REVIEW]Elliott Mendelson - 1973 - Journal of Symbolic Logic 38 (2):336-337.
Review: Dana Scott, A Proof of the Independence of the Continuum Hypothesis. [REVIEW]J. W. Robbin - 1968 - Journal of Symbolic Logic 33 (2):293-293.
Review: Dana Scott, Measurable Cardinals and Constructible Sets. [REVIEW]Azriel Levy - 1967 - Journal of Symbolic Logic 32 (3):410-410.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,469,896)

6 months
4 (#1,247,585)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references