Filter your results
- 14
- 5
- 1
- 16
- 16
- 6
- 6
- 5
- 5
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 20
- 1
- 17
- 17
- 7
- 3
- 1
- 1
- 1
- 17
- 17
- 17
- 17
- 17
- 17
- 8
- 7
- 7
- 7
- 7
- 6
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 20
- 20
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
A Language for Verification and Manipulation of Web DocumentsProceedings 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
|
||
|
Plugging-in Proof Development Environments using Locks in LFMathematical Structures in Computer Science, 2018, 28 (9), pp.1578--1605
Journal articles
hal-01272647v1
|
||
|
The Delta-framework38th 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
|
||
|
A Conditional Logical FrameworkLogic 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
|
||
|
A Framework for Defining Logical Frameworks[Research Report] RR-5963, INRIA. 2006, pp.56
Reports
inria-00088809v2
|
||
|
25 Years of Formal Proof Cultures: Some Problems, Some Philosophy, Bright FutureLFMTP 2013, Sep 2013, Boston, United States. pp.37-42, ⟨10.1145/2503887.2503896⟩
Conference papers
hal-01146393v1
|
||
|
On Quantitative Algebraic Higher-Order TheoriesFSCD 2022 - 7th International Conference on Formal Structures for Computation and Deduction, Aug 2022, Haifa, Israel
Conference papers
hal-03921800v1
|
||
|
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
Conference papers
hal-00906807v2
|
||
|
An Open Logical FrameworkJournal of Logic and Computation, 2013, 25 (2), 43 p. ⟨10.1093/logcom/ext028⟩
Journal articles
hal-00906391v1
|
||
|
A Framework for Defining Logical FrameworksElectronic 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
|
||
|
A Lambda Calculus of Objects with Self-Inflicted ExtensionProceedings 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
|
||
|
LLFP : A Logical Framework for modeling External Evidence, Side Conditions, and Proof Irrelevance using MonadsLogical Methods in Computer Science, 2017, Special Issue in honor of Pierre Louis Curien
Journal articles
hal-01146059v2
|
||
|
LaxLF: Side Conditions and External Evidence as MonadsMathematical 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
|
||
|
LFP – A Logical Framework with External Predicates7th 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
|
||
|
Towards a Logical Framework with Intersection and Union Types11th International Workshop on Logical Frameworks and Meta-languages, LFMTP, Sep 2017, Oxford, United Kingdom. pp.1 - 9
Conference papers
hal-01534035v2
|
||
|
A prototype-based approach to object evolutionThe Journal of Object Technology, 2020, 20 (4), pp.1--24
Journal articles
hal-01646168v6
|
||
|
A definitional implementation of the Lax Logical Framework LLFP in Coq, for supporting fast and loose reasoningLFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019, Jun 2019, Vancouver, Canada
Conference papers
hal-02152406v1
|
||
|
Implementing Cantor's Paradise14th Asian Symposium on Programming Languages and Systems, Nov 2016, Hanoi, Vietnam
Conference papers
hal-01362819v1
|
||
|
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring LocksLFMTP'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
|
||
|
Wherefore art thou ... Semantics of Computation?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
|