- Nominal techniques as an Agda library Murdoch J. Gabbay Orestis Melkonian Sat 07 March 2026
- Learning Closed Signal Flow Graphs Ekaterina Piotrovskaya Leo Lobski Fabio Zanasi Thu 04 July 2024
- The Relational Machine Calculus Chris Barrett Daniel Castle Willem Heijltjes Wed 22 May 2024
- Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence Vasileios Koutavas Yu-Yang Lin Nikos Tzevelekos Mon 06 November 2023
- Decomposing Probabilistic Lambda-calculi Ugo Dal Lago Giulio Guerrieri Willem Heijltjes Tue 03 March 2020
Library Size: 13G (5 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
