The following pages link to Theory of symbolic expressions. I (Q791311):
Displaying 7 items.
- Viewing \({\lambda}\)-terms through maps (Q740485) (← links)
- Constructive system for automatic program synthesis (Q912589) (← links)
- External and internal syntax of the \(\lambda \)-calculus (Q968531) (← links)
- Extracting Lisp programs from constructive proofs: A formal theory of constructive mathematics based on Lisp (Q1050769) (← links)
- Theory of symbolic expressions. II (Q1075757) (← links)
- (Q3699663) (← links)
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (Q5463956) (← links)