Search in the Catalogues and Directories

Hits 1 – 2 of 2

1	A Framework for Defining Logical Frameworks
	Honsell, Furio; Lenisa, Marina; Liquori, Luigi
	In: ISSN: 1571-0661 ; Electronic Notes in Theoretical Computer Science ; https://hal.inria.fr/hal-01148312 ; Electronic Notes in Theoretical Computer Science, Elsevier, 2007, In Computation, Meaning and Logic. ENTCS, Special issue, dedicated to Gordon D. Plotkin, on the occasion of his 60th birthday, 172, pp.399-436. ⟨10.1016/j.entcs.2007.02.014⟩ ; Elsevier (2007)
	BASE
	Show details

2	A Framework for Defining Logical Frameworks
	Liquori, Luigi; Honsell, Furio; Lenisa, Marina
	In: https://hal.inria.fr/inria-00088809 ; [Research Report] RR-5963, INRIA. 2006, pp.56 (2006)
	BASE
	Show details