|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Antoine Gaulin, Brigitte Pientka |
Contextual Refinement Types. |
LFMTP@FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
1 | James T. Oswald, Brandon Rozek |
Parallel Verification of Natural Deduction Proof Graphs. |
LFMTP@FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Félix Castro |
An Interpretation of E-HAw inside HAw. |
LFMTP@FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Johanna Schwartzentruber, Brigitte Pientka |
Semi-Automation of Meta-Theoretic Proofs in Beluga. |
LFMTP@FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Ciaffaglione, Carlos Olarte (eds.) |
Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2023, Rome, Italy, 2nd July 2023. |
LFMTP@FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
1 | François Thiré |
Sharing a Library between Proof Assistants: Reaching out to the HOL Family. |
LFMTP@FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Blanqui, Giselle Reis (eds.) |
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018. |
LFMTP@FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ernesto Copello, Nora Szasz, Álvaro Tasistro |
Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders. |
LFMTP@FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Angiuli, Evan Cavallo, Kuen-Bang Hou (Favonia), Robert Harper 0001, Jonathan Sterling |
The RedPRL Proof Assistant (Invited Paper). |
LFMTP@FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rodolphe Lepigre, Christophe Raffalli |
Abstract Representation of Binders in OCaml using the Bindlib Library. |
LFMTP@FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martín Copes, Nora Szasz, Álvaro Tasistro |
Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution. |
LFMTP@FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|