- Implicit automata in łambda-calculi III: affine planar string-to-string functions Cécilia Pradic Ian Price Thu 18 April 2024
- Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus Marcelo Fiore Thu 21 July 2022
- Implicit automata in typed łambda-calculi II: streaming transducers vs categorical semantics Nguyên Thành Dũng Lê Camille Noûs Pierre Pradic Tue 04 August 2020
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
