Relating System F and λ2: A Case Study in Coq, Abella and Beluga

Bibliographic Details
Main Authors: Kaiser, Jonas, Pientka, Brigitte, Smolka, Gert
Format: Article in Journal/Newspaper
Language:unknown
Published: 2017
Subjects:
hist
scipo
Beluga
Beluga*
Online Access:https://escholarship.mcgill.ca/concern/articles/5138jj40p
id fttriple:oai:gotriple.eu:10670/1.vviqm7
record_format openpolar
spelling fttriple:oai:gotriple.eu:10670/1.vviqm7 2023-05-15T15:41:30+02:00 Relating System F and λ2: A Case Study in Coq, Abella and Beluga Kaiser, Jonas Pientka, Brigitte Smolka, Gert 2017-01-01 https://escholarship.mcgill.ca/concern/articles/5138jj40p undefined unknown 10670/1.vviqm7 https://escholarship.mcgill.ca/concern/articles/5138jj40p lic_creative-commons eScholarship@McGill: Discover theses, dissertations, articles, and more 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017).Editor: Dale Miller; Article No. 21; pp. 21:1–21:19; Leibniz International Proceedings in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany hist scipo Journal Article https://vocabularies.coar-repositories.org/resource_types/c_6501/ 2017 fttriple 2023-01-22T17:06:01Z Article in Journal/Newspaper Beluga Beluga* Unknown
institution Open Polar
collection Unknown
op_collection_id fttriple
language unknown
topic hist
scipo
spellingShingle hist
scipo
Kaiser, Jonas
Pientka, Brigitte
Smolka, Gert
Relating System F and λ2: A Case Study in Coq, Abella and Beluga
topic_facet hist
scipo
format Article in Journal/Newspaper
author Kaiser, Jonas
Pientka, Brigitte
Smolka, Gert
author_facet Kaiser, Jonas
Pientka, Brigitte
Smolka, Gert
author_sort Kaiser, Jonas
title Relating System F and λ2: A Case Study in Coq, Abella and Beluga
title_short Relating System F and λ2: A Case Study in Coq, Abella and Beluga
title_full Relating System F and λ2: A Case Study in Coq, Abella and Beluga
title_fullStr Relating System F and λ2: A Case Study in Coq, Abella and Beluga
title_full_unstemmed Relating System F and λ2: A Case Study in Coq, Abella and Beluga
title_sort relating system f and λ2: a case study in coq, abella and beluga
publishDate 2017
url https://escholarship.mcgill.ca/concern/articles/5138jj40p
genre Beluga
Beluga*
genre_facet Beluga
Beluga*
op_source eScholarship@McGill: Discover theses, dissertations, articles, and more
2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017).Editor: Dale Miller; Article No. 21; pp. 21:1–21:19; Leibniz International Proceedings in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
op_relation 10670/1.vviqm7
https://escholarship.mcgill.ca/concern/articles/5138jj40p
op_rights lic_creative-commons
_version_ 1766374395700314112

Similar Items