research
∙
05/23/2022
Linear random generation of Motzkin trees
Motzkin trees are also called unary-binary trees. This paper proposes a ...
research
∙
12/21/2021
L-types for resource awareness: an implicit name approach
Since the early work of Church on λI-calculus and Gentzen on structural ...
research
∙
04/14/2021
Zaionc paradox revisited
Canonical expressions are representative of implicative propositions upt...
research
∙
06/19/2020
Extensive Infinite Games and Escalation, an exercise in Agda
Escalation in games is when agents keep playing forever. Based on formal...
research
∙
04/11/2018
Combinatorics of explicit substitutions
λυ is an extension of the λ-calculus which internalises the calculus of ...
research
∙
02/02/2018