Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

20 Results
authFullName_s : Furio Honsell
Image document

A Language for Verification and Manipulation of Web Documents

Luigi Liquori , Furio Honsell , Rekha Redamalla
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), May 2005, Valencia, Spain. pp.67-78, ⟨10.1016/j.entcs.2005.12.046⟩
Conference papers hal-01148880v1
Image document

Plugging-in Proof Development Environments using Locks in LF

Furio Honsell , Luigi Liquori , Petar Maksimovic , Ivan Scagnetto
Mathematical Structures in Computer Science, 2018, 28 (9), pp.1578--1605
Journal articles hal-01272647v1
Image document

The Delta-framework

Furio Honsell , Luigi Liquori , Claude Stolze , Ivan Scagnetto
38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2018, Dec 2018, Ahmedabad, India. pp.37:1--37:21, ⟨10.4230/LIPIcs.FSTTCS.2018.37⟩
Conference papers hal-01701934v2
Image document

A Conditional Logical Framework

Luigi Liquori , Furio Honsell , Marina Lenisa , Ivan Scagnetto
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, Nov 2008, Doha, Qatar. pp.143-157, ⟨10.1007/978-3-540-89439-1_10⟩
Conference papers hal-00909574v1
Image document

A Framework for Defining Logical Frameworks

Luigi Liquori , Furio Honsell , Marina Lenisa
[Research Report] RR-5963, INRIA. 2006, pp.56
Reports inria-00088809v2
Image document

25 Years of Formal Proof Cultures: Some Problems, Some Philosophy, Bright Future

Furio Honsell
LFMTP 2013, Sep 2013, Boston, United States. pp.37-42, ⟨10.1145/2503887.2503896⟩
Conference papers hal-01146393v1
Image document

On Quantitative Algebraic Higher-Order Theories

Ugo Dal Lago , Furio Honsell , Marina Lenisa , Paolo Pistone
FSCD 2022 - 7th International Conference on Formal Structures for Computation and Deduction, Aug 2022, Haifa, Israel
Conference papers hal-03921800v1
Image document

LFP – A Logical Framework with External Predicates (Announcement and survey)

Furio Honsell , Marina Lenisa , Luigi Liquori , Petar Maksimovic , Ivan Scagnetto et al.
Logic: Between Semantics and Proof Theory A Workshop in Honor of Prof. Arnon Avron's 60th Birthday, Nov 2013, Tel Aviv, Israel
Conference papers hal-00906807v2
Image document

An Open Logical Framework

Furio Honsell , Marina Lenisa , Luigi Liquori , Petar Maksimovic , Ivan Scagnetto et al.
Journal of Logic and Computation, 2013, 25 (2), 43 p. ⟨10.1093/logcom/ext028⟩
Journal articles hal-00906391v1
Image document

A Framework for Defining Logical Frameworks

Furio Honsell , Marina Lenisa , Luigi Liquori
Electronic Notes in Theoretical Computer Science, 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⟩
Journal articles hal-01148312v1
Image document

A Lambda Calculus of Objects with Self-Inflicted Extension

Pietro Di Gianantonio , Furio Honsell , Luigi Liquori
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, OOPSLA '98, Vancouver, BC, Canada, Oct 1998, Vancouver, BC, Canada. pp.166--178, ⟨10.1145/286936.286955⟩
Conference papers hal-01154180v1
Image document

LLFP : A Logical Framework for modeling External Evidence, Side Conditions, and Proof Irrelevance using Monads

Furio Honsell , Luigi Liquori , Petar Maksimovic , Ivan Scagnetto
Logical Methods in Computer Science, 2017, Special Issue in honor of Pierre Louis Curien
Journal articles hal-01146059v2
Image document

LaxLF: Side Conditions and External Evidence as Monads

Furio Honsell , Luigi Liquori , Ivan Scagnetto
Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I., Aug 2014, Budapest, Hungary. pp.327-339, ⟨10.1007/978-3-662-44522-8_28⟩
Conference papers hal-01146023v1
Image document

LFP – A Logical Framework with External Predicates

Furio Honsell , Marina Lenisa , Luigi Liquori , Petar Maksimovic , Ivan Scagnetto et al.
7th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice - LFMTP 2012. Copenhagen, Denmark - September 9, 2012, Sep 2012, Copenhagen, Denmark. pp.13-22, ⟨10.1145/2364406.2364409⟩
Conference papers hal-01146691v1
Image document

Towards a Logical Framework with Intersection and Union Types

Claude Stolze , Luigi Liquori , Furio Honsell , Ivan Scagnetto
11th International Workshop on Logical Frameworks and Meta-languages, LFMTP, Sep 2017, Oxford, United Kingdom. pp.1 - 9
Conference papers hal-01534035v2
Image document

A prototype-based approach to object evolution

Alberto Ciaffaglione , Pietro Di Gianantonio , Furio Honsell , Luigi Liquori
The Journal of Object Technology, 2020, 20 (4), pp.1--24
Journal articles hal-01646168v6
Image document

A definitional implementation of the Lax Logical Framework LLFP in Coq, for supporting fast and loose reasoning

Fabio Alessi , Alberto Ciaffaglione , Pietro Di Gianantonio , Furio Honsell , Marina Lenisa et al.
LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019, Jun 2019, Vancouver, Canada
Conference papers hal-02152406v1
Image document

Implementing Cantor's Paradise

Furio Honsell , Marina Lenisa , Luigi Liquori , Ivan Scagnetto
14th Asian Symposium on Programming Languages and Systems, Nov 2016, Hanoi, Vietnam
Conference papers hal-01362819v1
Image document

Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks

Furio Honsell , Luigi Liquori , Petar Maksimovic , Ivan Scagnetto
LFMTP'15. 9th International Workshop on Logical Frameworks and Meta-languages, Berlin, Germany, Aug 2015, Berlin, Germany. ⟨10.4204/EPTCS.185.1⟩
Conference papers hal-01170029v1
Image document

Wherefore art thou ... Semantics of Computation?

Furio Honsell
3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.3-23, ⟨10.1007/978-3-319-47286-7_1⟩
Conference papers hal-01615311v1