The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "LFMTP@FSCD"( http://dblp.L3S.de/Venues/LFMTP@FSCD )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2018 (6) 2023 (5)
Publication types (Num. hits)
inproceedings(9) proceedings(2)
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
1Antoine Gaulin, Brigitte Pientka Contextual Refinement Types. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1James T. Oswald, Brandon Rozek Parallel Verification of Natural Deduction Proof Graphs. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Félix Castro An Interpretation of E-HAw inside HAw. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Johanna Schwartzentruber, Brigitte Pientka Semi-Automation of Meta-Theoretic Proofs in Beluga. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Alberto 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. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1François Thiré Sharing a Library between Proof Assistants: Reaching out to the HOL Family. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fré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. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ernesto Copello, Nora Szasz, Álvaro Tasistro Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carlo Angiuli, Evan Cavallo, Kuen-Bang Hou (Favonia), Robert Harper 0001, Jonathan Sterling The RedPRL Proof Assistant (Invited Paper). Search on Bibsonomy LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rodolphe Lepigre, Christophe Raffalli Abstract Representation of Binders in OCaml using the Bindlib Library. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martín Copes, Nora Szasz, Álvaro Tasistro Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution. Search on Bibsonomy LFMTP@FSCD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license