Computer science/Programming languages/Lambda calculi

Subject Classification

ACM: Mathematics of computing~Lambda calculus

AMS: Computer science / Theory of software / Functional programming and lambda calculus

2026

Strong Normalization for Church-Style System F

by Arthur Freitas Ramos, David Barros Hulak and Ruy Jose Guerra Barretto de Queiroz

Sep 02

2023

Transport via Partial Galois Connections and Equivalences

by Kevin Kappelmann

Oct 11

2022

Residuated Transition Systems

by Eugene W. Stark

Feb 28

2019

Formalization of Generic Authenticated Data Structures

by Matthias Brun and Dmitriy Traytel

May 14

A General Theory of Syntax with Bindings

by Lorenzo Gheri and Andrei Popescu

Apr 06

An Algebra for Higher-Order Terms

by Lars Hupel

Jan 15

2017

The LambdaMu-calculus

by Cristina Matache, Victor B. F. Gomes and Dominic P. Mulligan

Aug 16

2013

The Correctness of Launchbury's Natural Semantics for Lazy Evaluation

by Joachim Breitner

Jan 31

2012

Logical Relations for PCF

by Peter Gammie

Jul 01

2010

Strong Normalization of Moggis's Computational Metalanguage

by Christian Doczkal

Aug 29

2007

POPLmark Challenge Via de Bruijn Indices

by Stefan Berghofer

Aug 02