Abstracting models of strong normalization for classical calculi

Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M.

doi:10.1016/j.jlamp.2019.100512

Abstracting models of strong normalization for classical calculi

Journal Article · Fri Jan 31 23:00:00 EST 2020 · Journal of Logical and Algebraic Methods in Programming

DOI:https://doi.org/10.1016/j.jlamp.2019.100512· OSTI ID:2284030

Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M.

Not Available

Sponsoring Organization:: USDOE National Nuclear Security Administration (NNSA)

Grant/Contract Number:: NA0003525

OSTI ID:: 2284030

Alternate ID(s):: OSTI ID: 1703064
OSTI ID: 1595425

Journal Information:: Journal of Logical and Algebraic Methods in Programming, Journal Name: Journal of Logical and Algebraic Methods in Programming Journal Issue: C Vol. 111; ISSN 2352-2208

Publisher:: ElsevierCopyright Statement

Country of Publication:: Country unknown/Code not available

Language:: English

References (9)

A Syntactic Approach to Type Soundness Wright, A. K.; Felleisen, M. Information and Computation, Vol. 115, Issue 1 https://doi.org/10.1006/inco.1994.1093	journal	November 1994
Untersuchungen �ber das logische Schlie�en. I Gentzen, Gerhard Mathematische Zeitschrift, Vol. 39, Issue 1 https://doi.org/10.1007/BF01201353	journal	December 1935
A call-by-name lambda-calculus machine Krivine, Jean-Louis Higher-Order and Symbolic Computation, Vol. 20, Issue 3 https://doi.org/10.1007/s10990-007-9018-9	journal	October 2007
Call-by-name, call-by-value and the λ-calculus Plotkin, G. D. Theoretical Computer Science, Vol. 1, Issue 2 https://doi.org/10.1016/0304-3975(75)90017-1	journal	December 1975
Linear logic Girard, Jean-Yves Theoretical Computer Science, Vol. 50, Issue 1 https://doi.org/10.1016/0304-3975(87)90045-4	journal	January 1987
Classical Fω, orthogonality and symmetric candidates Lengrand, Stéphane; Miquel, Alexandre Annals of Pure and Applied Logic, Vol. 153, Issue 1-3 https://doi.org/10.1016/j.apal.2008.01.005	journal	April 2008
Parametric polymorphism and operational equivalence Pitts, Andrew M. Mathematical Structures in Computer Science, Vol. 10, Issue 3 https://doi.org/10.1017/S0960129500003066	journal	June 2000
Intensional interpretations of functionals of finite type I Tait, W. W. Journal of Symbolic Logic, Vol. 32, Issue 2 https://doi.org/10.2307/2271658	journal	August 1967
The Duality of Classical Intersection and Union Types Downen, Paul; Ariola, Zena M.; Ghilezan, Silvia Fundamenta Informaticae, Vol. 170, Issue 1-3 https://doi.org/10.3233/FI-2019-1855	journal	October 2019

Similar Records

Uniform Strong Normalization for Multi-Discipline Calculi.

Conference · Wed Feb 28 23:00:00 EST 2018 · OSTI ID:1505261

Abstracting models of strong normalization for classical calculi

Citation Formats

References (9)

Similar Records

Related Subjects