 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-00909574v1
Communication dans un congrès
Luigi Liquori, Furio Honsell, Marina Lenisa, Ivan Scagnetto. A Conditional Logical Framework Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, Nov 2008, Doha, Qatar. Springer Verlag, pp.143-157, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-89439-1_10> |
||
|
hal-01146691v1
Communication dans un congrès
Furio Honsell, Marina Lenisa, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto. LFP – A Logical Framework with External Predicates 7th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice - LFMTP 2012. Copenhagen, Denmark - September 9, 2012, Sep 2012, Copenhagen, Denmark. ACM, pp.13-22, 2013, <10.1145/2364406.2364409> |
||
|
hal-01362819v1
Communication dans un congrès
Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto. Implementing Cantor's Paradise 14th Asian Symposium on Programming Languages and Systems, Nov 2016, Hanoi, Vietnam. Springer Verlag, 2016, Lecture Notes in Computer Science |
||
|
hal-00906807v2
Communication dans un congrès
Furio Honsell, Marina Lenisa, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto. LFP – A Logical Framework with External Predicates (Announcement and survey) Logic: Between Semantics and Proof Theory A Workshop in Honor of Prof. Arnon Avron's 60th Birthday, Nov 2013, Tel Aviv, Israel. 2013 |
||
|
hal-00909455v1
Communication dans un congrès
Furio Honsell, Marina Lenisa, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto. LFP - A Logical Framework with External Predicates LFMTP - 7th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice - 2012, Sep 2012, Copenhagen, Denmark. ACM, pp.13-22, 2012, <10.1145/2364406.2364409> |
||
|
inria-00088809v2
Rapport
Luigi Liquori, Furio Honsell, Marina Lenisa. A Framework for Defining Logical Frameworks [Research Report] RR-5963, INRIA. 2006, pp.56 |
||
|
hal-00906391v1
Article dans une revue
Furio Honsell, Marina Lenisa, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto. An Open Logical Framework Journal of Logic and Computation, Oxford University Press (OUP), 2013, 25 (2), 43 p. <10.1093/logcom/ext028> |
||
|
hal-01148312v1
Article dans une revue
Furio Honsell, Marina Lenisa, Luigi Liquori. A Framework for Defining Logical Frameworks Electronic Notes in Theoretical Computer Science, Elsevier, 2007, In Computation, Meaning and Logic. Special issue, dedicated to Gordon D. Plotkin, on the occasion of his 60th birthday, 172, pp.399-436. <Elsevier> |
||
|
|
||