- Linearity in Higher-order Recursion Schemes Pierre Clairambault Charles Grellois Andrzej S. Murawski Sat 30 June 2018
- The Semantics of Higher Order Algorithms Dag Normann Mon 06 January 2014
- NOTIONS OF COMPUTABILITY AT HIGHER TYPES I John R. Longley Mon 06 January 2014
Library Size: 13G (3 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
