equal
deleted
inserted
replaced
665 title = {Automating Recursive Type Definitions in Higher Order |
665 title = {Automating Recursive Type Definitions in Higher Order |
666 Logic}, |
666 Logic}, |
667 pages = {341-386}, |
667 pages = {341-386}, |
668 crossref = {birtwistle89}} |
668 crossref = {birtwistle89}} |
669 |
669 |
|
670 @Article{Miller:1991, |
|
671 author = {Dale Miller}, |
|
672 title = {A Logic Programming Language with Lambda-Abstraction, Function Variables, |
|
673 and Simple Unification}, |
|
674 journal = {Journal of Logic and Computation}, |
|
675 year = 1991, |
|
676 volume = 1, |
|
677 number = 4 |
|
678 } |
|
679 |
670 @Article{miller-mixed, |
680 @Article{miller-mixed, |
671 Author = {Dale Miller}, |
681 Author = {Dale Miller}, |
672 Title = {Unification Under a Mixed Prefix}, |
682 Title = {Unification Under a Mixed Prefix}, |
673 journal = JSC, |
683 journal = JSC, |
674 volume = 14, |
684 volume = 14, |
1194 Dan Craigen and Irwin Meisels}, |
1204 Dan Craigen and Irwin Meisels}, |
1195 title = {An {EVES} Data Abstraction Example}, |
1205 title = {An {EVES} Data Abstraction Example}, |
1196 pages = {578-596}, |
1206 pages = {578-596}, |
1197 crossref = {fme93}} |
1207 crossref = {fme93}} |
1198 |
1208 |
|
1209 @Article{Schroeder-Heister:1984, |
|
1210 author = {Peter Schroeder-Heister}, |
|
1211 title = {A Natural Extension of Natural Deduction}, |
|
1212 journal = {Journal of Symbolic Logic}, |
|
1213 year = 1984, |
|
1214 volume = 49, |
|
1215 number = 4 |
|
1216 } |
|
1217 |
1199 @inproceedings{slind-tfl, |
1218 @inproceedings{slind-tfl, |
1200 author = {Konrad Slind}, |
1219 author = {Konrad Slind}, |
1201 title = {Function Definition in Higher Order Logic}, |
1220 title = {Function Definition in Higher Order Logic}, |
1202 crossref = {tphols96}, |
1221 crossref = {tphols96}, |
1203 pages = {381-397}} |
1222 pages = {381-397}} |