The following pages link to A plea for weaker frameworks (Q4012875):
Displaying 6 items.
- The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (Q287277) (← links)
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
- Virtual worlds as meeting places for formal systems (Q1402195) (← links)
- Towards an integration science. The influence of Richard Bellman on our research. (Q1584626) (← links)
- A new implementation of Automath (Q1868514) (← links)