Search in the Catalogues and Directories

Hits 1 – 3 of 3

1	From the Formal Definition of Concept to the Linguistic Definition of Term ; De la définition formelle du concept à la définition en langue du terme
	Roche, Christophe
	In: ISSN: 2299-7164 ; EISSN: 2353-3218 ; Academic Journal of Modern Philology ; https://hal.archives-ouvertes.fr/hal-03549751 ; Academic Journal of Modern Philology, Uniwersytet Wroctawski, 2021, ⟨10.34616/ajmp.2021.13⟩ (2021)
	BASE
	Show details

2	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

3	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