Fully Complete Minimal PER Models for the Simply Typed λ−calculus

Fully Complete Minimal PER Models for the Simply Typed λ−calculus

Detaylı Bibliyografya
Asıl Yazarlar:	Abramsky, S, Lenisa, M
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	2001

Benzer Materyaller

A Fully Complete PER Model for ML Polymorphic Types
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2000)

Axiomatizing Fully Complete Models for ML Polymorphic Types
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2000)

Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
Yazar:: Naokata Shikuma, ve diğerleri
Baskı/Yayın Bilgisi: (2008-09-01)

The Lazy λ−Calculus
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (1990)

Full Abstraction in the Lazy λ−calculus
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (1993)

Games and Full Abstraction for the Lazy λ−calculus
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (1995)

Linear realizability and full completeness for typed lambda−calculi
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

A revised completeness result for the simply typed $\lambda\mu$-calculus using realizability semantics
Yazar:: Karim Nour, ve diğerleri
Baskı/Yayın Bilgisi: (2017-08-01)

A fully abstract denotational semantics for the calculus of higher−order communicating systems
Yazar:: Thomsen, B, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

Automata, logic and games for the λ-calculus
Yazar:: Ong, C
Baskı/Yayın Bilgisi: (2016)

Hereditary Substitution for the λΔ-Calculus
Yazar:: Harley Eades, ve diğerleri
Baskı/Yayın Bilgisi: (2013-09-01)

On Durrmeyer Type λ-Bernstein Operators via (p, q)-Calculus
Yazar:: Qing-Bo Cai, ve diğerleri
Baskı/Yayın Bilgisi: (2020-01-01)

The difference λ-calculus: a language for difference categories
Yazar:: Alvarez-Picallo, M, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Study of degenerate derangement polynomials by λ-umbral calculus
Yazar:: Yun Sang Jo, ve diğerleri
Baskı/Yayın Bilgisi: (2023-06-01)

Rewriting Modulo β in the λΠ-Calculus Modulo
Yazar:: Ronan Saillard
Baskı/Yayın Bilgisi: (2015-07-01)

Simply typed convertibility is TOWER-complete even for safe lambda-terms
Yazar:: Lê Thành Dũng Nguyên
Baskı/Yayın Bilgisi: (2024-09-01)

Iteration of λ-complete forcing notions not collapsing λ+
Yazar:: Andrzej Rosłanowski, ve diğerleri
Baskı/Yayın Bilgisi: (2001-01-01)

Fractional calculus applied to evaluate stress concentration and shear effects in simply supported beams
Yazar:: Jose Ivelton Siqueira Lustosa, ve diğerleri
Baskı/Yayın Bilgisi: (2022-09-01)

Experiments‚ Powerdomains and Fully Abstract Models for Applicative Multiprogramming
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (1983)

Adequate sample size for developing prediction models was not simply related to events per variable.
Yazar:: Ogundimu, E, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Completeness and the ZX-calculus
Yazar:: Backens, M
Baskı/Yayın Bilgisi: (2015)

Completeness of the ZX-calculus
Yazar:: Wang, Q
Baskı/Yayın Bilgisi: (2018)

Completeness of the ZX-Calculus
Yazar:: Emmanuel Jeandel, ve diğerleri
Baskı/Yayın Bilgisi: (2020-06-01)

Fully abstract models for effectful λ-calculi via category-theoretic logical relations
Yazar:: Kammar, O, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Some identities of degenerate higher-order Daehee polynomials based on λ-umbral calculus
Yazar:: Dojin Kim, ve diğerleri
Baskı/Yayın Bilgisi: (2023-03-01)

RPO, Second-order Contexts, and Lambda-calculus
Yazar:: Pietro Di Gianantonio, ve diğerleri
Baskı/Yayın Bilgisi: (2009-08-01)

A Minimal OO Calculus for Modelling Biological Systems
Yazar:: Livio Bioglio
Baskı/Yayın Bilgisi: (2011-09-01)

Calculus : a complete course /
Yazar:: Adams, Robert A. (Robert Alexander), 1940-
Baskı/Yayın Bilgisi: (1999)

Calculus : a complete course /
Yazar:: Adams, Robert A. (Robert Alexander), 1940-
Baskı/Yayın Bilgisi: (2010)

Calculus : a complete course /
Yazar:: Adams, Robert A. (Robert Alexander), 1940-
Baskı/Yayın Bilgisi: (2006)

Simply Shrooms /
Yazar:: Chen, Ying Ren, author
Baskı/Yayın Bilgisi: (2010)

Building simply /
Yazar:: Schittich, Christian, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Simply irresistible /
Yazar:: 527251 Shalvis, Jill, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Simply scintillating
Yazar:: The Star,
Baskı/Yayın Bilgisi: (2017)

Simply effective /
Yazar:: 289146 Ashkenas, Ron
Baskı/Yayın Bilgisi: (2010)

Simply magic /
Yazar:: 262955 Balogh, Mary
Baskı/Yayın Bilgisi: (2007)

Simply contemporary /
Yazar:: 387286 Santos, Solvi Dos
Baskı/Yayın Bilgisi: (2006)

A fully-abstract semantics of lambda-mu in the pi-calculus
Yazar:: Steffen van Bakel, ve diğerleri
Baskı/Yayın Bilgisi: (2014-09-01)

Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces
Yazar:: B. Valiron, ve diğerleri
Baskı/Yayın Bilgisi: (2014-12-01)

Metric-affine cosmological models and the inverse problem of the calculus of variations. Part II: Variational bootstrapping of the $$\Lambda $$ Λ CDM model
Yazar:: Ludovic Ducobu, ve diğerleri
Baskı/Yayın Bilgisi: (2025-01-01)