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

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