- Local computation of beta-reduction - A concrete presentation of Game Semantics William Blum Chih-Hao Luke Ong Fri 15 November 2013
- The safe lambda calculus William Blum C.-H. Luke Ong Fri 14 December 2012
- Structures Generated by Higher-Order Grammars and the Safety Constraint Jolie G. de Miranda Fri 14 December 2012
- Safety Is not a Restriction at Level 2 for String Languages K. Aehlig J. G. de Miranda C. -H. L. Ong Tue 06 March 2012
Library Size: 13G (4 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
