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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Resource-Adaptive Model Generation as a Performance Model.Michael Kohlhase & Alexander Koller - 2003 - Logic Journal of the IGPL 11 (4):435-456.
Sequent calculi for some trilattice logics.Norihiro Kamide & Heinrich Wansing - 2009 - Review of Symbolic Logic 2 (2):374-395.
Exploiting Equivalences in Connection Calculi.Stefan Bruning - 1995 - Logic Journal of the IGPL 3 (6):857-886.
The stochastic quantum mechanics approach to the unification of relativity and quantum theory.E. Prugovečki - 1984 - Foundations of Physics 14 (12):1147-1162.
The principles of a stochastic formulation of quantum theory.A. Kyprianidis - 1992 - Foundations of Physics 22 (12):1449-1483.
Comparing and implementing calculi of explicit substitutions with eta-reduction.Mauricio Ayala-Rincón, Flávio L. C. de Moura & Fairouz Kamareddine - 2005 - Annals of Pure and Applied Logic 134 (1):5-41.
A self-consistent approach to quantum field theory for extended particles.Eduard Prugovečki - 1981 - Foundations of Physics 11 (5-6):355-382.
Dynamic stochastic dominance in bandit decision problems.Thierry Magnac & Jean-Marc Robin - 1999 - Theory and Decision 47 (3):267-295.
Hypersequent calculi for intuitionistic logic with classical atoms.Hidenori Kurokawa - 2010 - Annals of Pure and Applied Logic 161 (3):427-446.
Analytic Calculi for Product Logics.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2004 - Archive for Mathematical Logic 43 (7):859-889.
Hypersequent and Display Calculi – a Unified Perspective.Agata Ciabattoni, Revantha Ramanayake & Heinrich Wansing - 2014 - Studia Logica 102 (6):1245-1294.
Metafizyka w logice.Jacek Wojtysiak - 1999 - Filozofia Nauki 1.
A stochastic interpretation of propositional dynamic logic: expressivity.Ernst-Erich Doberkat - 2012 - Journal of Symbolic Logic 77 (2):687-716.
Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic.Regimantas Pliuskevicius - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):141-169.
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics.A. Avellone, M. Ferrari & P. Miglioli - 1999 - Logic Journal of the IGPL 7 (4):447-480.

Analytics

Added to PP
2016-06-30

Downloads
4 (#1,556,099)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dana Scott
Carnegie Mellon University

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references