Dale Miller
4 published titles
Logic programming in a fragment of intuitionistic linear logic : extended abstract
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
A logic programming language with lambda-abstraction, function variables, and simple unification
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Unification of simply typed lambda-terms as logic programming
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Logic programming : proceedings of the 1993 international symposium
(Contributor)
1 edition
