Higman's Lemma in Type Theory (1997)

by Daniel Fridlender
Venue:PROCEEDINGS OF THE 1996 WORKSHOP ON TYPES FOR PROOFS AND PROGRAMS
Citations:5 - 0 self