Imagen de Portada

Intersection Types for a Computational Lambda-Calculus with Global State

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	de'Liguoro, Ugo, Treglia, Riccardo
Formato:	Preprint
Publicado:	2021
Materias:	Logic in Computer Science Programming Languages F.3.2; F.4.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The Lambda Calculus is Quantifiable
por: Maestracci, Valentin, et al.
Publicado: (2024)

Partial Typing for Asynchronous Multiparty Sessions
por: Barbanera, Franco, et al.
Publicado: (2024)

Abstract clones for abstract syntax
por: Arkor, Nathanael, et al.
Publicado: (2021)

AdapTT: Functoriality for Dependent Type Casts
por: Adjedj, Arthur, et al.
Publicado: (2025)

On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
por: Lago, Ugo Dal, et al.
Publicado: (2026)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
por: Bertrand, Meven Lennon, et al.
Publicado: (2026)

Definitional Functoriality for Dependent (Sub)Types -- Extended version
por: Laurent, Théo, et al.
Publicado: (2023)

Genericity Through Stratification
por: Arrial, Victor, et al.
Publicado: (2024)

Infinitary Refinement Types for Temporal Properties in Scott Domains
por: Riba, Colin, et al.
Publicado: (2025)

A Complete Finitary Refinement Type System for Scott-Open Properties
por: Riba, Colin, et al.
Publicado: (2026)

Semantics out of context: nominal absolute denotations for first-order logic and computation
por: Gabbay, Murdoch J.
Publicado: (2013)

What does it take to certify a conversion checker?
por: Lennon-Bertrand, Meven
Publicado: (2025)

Interpreting De Finetti's theorem in the Category of Integrable Cones (long version)
por: Raphaëlle, Crubillé
Publicado: (2026)

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics
por: Bisping, Benjamin, et al.
Publicado: (2024)

A Fibrational Perspective on Differential Linear Logic
por: Koleilat, Jad
Publicado: (2026)

Relational Dualities and Bisimulation
por: Kozicki, Piotr, et al.
Publicado: (2026)

Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
por: Cerda, Rémy
Publicado: (2025)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
por: Barroso-Nascimento, Victor, et al.
Publicado: (2025)

An Unconventional View on Beta-Reduction in Namefree Lambda-Calculus
por: Nederpelt, Rob, et al.
Publicado: (2026)

A Coherence Construction for the Propositional Universe
por: Huang, Xu
Publicado: (2024)

Separation Logic of Generic Resources via Sheafeology
por: van Starkenburg, Berend, et al.
Publicado: (2025)

Modelling Recursion and Probabilistic Choice in Guarded Type Theory
por: Stassen, Philipp Jan Andries, et al.
Publicado: (2024)

Verifying Tree-Manipulating Programs via CHCs
por: Faella, Marco, et al.
Publicado: (2025)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
por: Ramos, Arthur, et al.
Publicado: (2025)

Term Orders for Optimistic Lambda-Superposition
por: Bentkamp, Alexander, et al.
Publicado: (2025)

LeanLTL: A unifying framework for linear temporal logics in Lean
por: Vin, Eric, et al.
Publicado: (2025)

Conformance Games for Graded Semantics
por: Forster, Jonas, et al.
Publicado: (2024)

Interpreting Lambda Calculus in Domain-Valued Random Variables
por: Furber, Robert, et al.
Publicado: (2021)

Node Replication: Theory And Practice
por: Kesner, Delia, et al.
Publicado: (2022)

The Relational Machine Calculus
por: Barrett, Chris, et al.
Publicado: (2024)

Forall-Exists Relational Verification by Filtering to Forall-Forall
por: Nagasamudram, Ramana, et al.
Publicado: (2025)

Bayesian Separation Logic
por: Ho, Shing Hin, et al.
Publicado: (2025)

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
por: Bobrow, Elliot, et al.
Publicado: (2025)

Generically Automating Separation Logic by Functors, Homomorphisms and Modules
por: Xu, Qiyuan, et al.
Publicado: (2024)

Sensible Intersection Type Theories
por: Dezani-Ciancaglini, Mariangiola, et al.
Publicado: (2026)

Internal Effectful Forcing in System T
por: Escardo, Martin H., et al.
Publicado: (2025)

Characterizing NC1 with Typed Monoids
por: Dawar, Anuj, et al.
Publicado: (2025)

Two-Level Type Theory and Applications
por: Annenkov, Danil, et al.
Publicado: (2017)

Operational methods in semantics
por: Amadio, Roberto M.
Publicado: (2025)

Relational Models for the Lambek Calculus with Intersection and Constants
por: Kuznetsov, Stepan L.
Publicado: (2022)