Search CORE

4 research outputs found

Logical Aspects of Logical Frameworks

Author: Price M.
Publication venue: Department of Computer Science, University of Bath
Publication date: 01/11/2008
Field of study

Logical Aspects of Logical Frameworks

Author: Price M.
Publication venue: Department of Computer Science, University of Bath
Publication date: 01/12/2008
Field of study

Representing unification in a logical framework

Author: A. Martelli
D. Jensen
D. Pym
G. Huet
N. G. Bruijn de
R. Harper
R. L. Constable
R. Letz
W. Snyder
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

core

core