Cover Image

An extended type system with lambda-typed lambda-expressions (extended version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Weber, Matthias
Format:	Preprint
Published:	2018
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)

Profinite lambda-terms and parametricity
by: van Gool, Sam, et al.
Published: (2023)

Simply typed convertibility is TOWER-complete even for safe lambda-terms
by: Nguyên, Lê Thành Dũng
Published: (2023)

A linear linear lambda-calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

Substitution in the lambda Calculus and the role of the Curry School
by: Kamareddine, Fairouz
Published: (2024)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
by: Nogueira, Pablo, et al.
Published: (2022)

Repairing General Game Descriptions (extended version)
by: He, Yifan, et al.
Published: (2025)

Benchmarks for Parity Games (extended version)
by: Keiren, Jeroen J. A.
Published: (2014)

Profinite trees, through Lawvere theories and the lambda-calculus
by: Moreau, Vincent
Published: (2024)

Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
by: Waddoups, Nick, et al.
Published: (2025)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
by: Heuvel, Bas van den
Published: (2024)

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
by: Dardinier, Thibault, et al.
Published: (2023)

An adequacy theorem between mixed powerdomains and probabilistic concurrency (extended version)
by: Neves, Renato
Published: (2024)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
by: Budde, Carlos E., et al.
Published: (2024)

Validity of contextual formulas (extended version)
by: Esparza, Javier, et al.
Published: (2024)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
by: Şakar, Ömer, et al.
Published: (2026)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
by: Stramaglia, Anna, et al.
Published: (2025)

A Complete V-Equational System for Graded lambda-Calculus
by: Dahlqvist, Fredrik, et al.
Published: (2023)

Syntactically and semantically regular languages of lambda-terms coincide through logical relations
by: Moreau, Vincent, et al.
Published: (2023)

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)
by: D'Argenio, Pedro R., et al.
Published: (2025)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
by: de Lima, Tiago, et al.
Published: (2024)

A categorical account of composition methods in logic (extended version)
by: Jakl, Tomáš, et al.
Published: (2024)

Fair Mutual Exclusion for N Processes (extended version)
by: Hafidi, Yousra, et al.
Published: (2021)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
by: Walsh, Sean
Published: (2024)

DTMC Model Checking by Path Abstraction Revisited (extended version)
by: Hartmanns, Arnd, et al.
Published: (2025)

Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)
by: Mangel, Éléonore, et al.
Published: (2025)

Modulo quantifiers over functional vocabularies extending addition
by: Baskar, A., et al.
Published: (2017)

On Presburger arithmetic extended with non-unary counting quantifiers
by: Habermehl, Peter, et al.
Published: (2022)

Complexity of some modal logics of density (extended version)
by: Balbiani, Philippe, et al.
Published: (2025)

Consistency of P-time event graphs is decidable in polynomial time (extended version)
by: Zorzenon, Davide, et al.
Published: (2023)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
by: Aceto, Luca, et al.
Published: (2025)

Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)
by: Lopez-Miguel, Ignacio D., et al.
Published: (2025)

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
by: Budde, Carlos E., et al.
Published: (2025)

Type Theory with Explicit Universe Polymorphism (revised and extended version)
by: Bezem, Marc, et al.
Published: (2022)

Bijective proofs for Eulerian numbers of types B and D
by: Santocanale, Luigi
Published: (2021)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

List types for resource aware languages: an implicit name approach
by: Ghilezan, Silvia, et al.
Published: (2021)

Generic bidirectional typing for dependent type theories
by: Felicissimo, Thiago
Published: (2023)

Central H-spaces and banded types
by: Buchholtz, Ulrik, et al.
Published: (2023)