Zobrazeno 1 - 10
of 50
pro vyhledávání: '"Wells, Joe"'
Mathematical documents written in LaTeX often contain ambiguities. We can resolve some of them via semantic markup using, e.g., sTeX, which also has other potential benefits, such as interoperability with computer algebra systems, proof systems, and
Externí odkaz:
http://arxiv.org/abs/2408.04656
Autor:
Kamareddine, Fairouz, Wells, Joe
The lambda-cube is a famous pure type system (PTS) cube of eight powerful explicit type systems that include the simple, polymorphic and dependent type theories. The lambda-cube only types Strongly Normalising (SN) terms but not all of them. It is we
Externí odkaz:
http://arxiv.org/abs/2405.00440
Following the introduction of BNF notation by Backus for the Algol 60 report and subsequent notational variants, a metalanguage involving formal "grammars" has developed for discussing structured objects in Computer Science and Mathematical Logic. We
Externí odkaz:
http://arxiv.org/abs/1806.08771
Publikováno v:
EPTCS 45, 2011
This volume contains the proceedings of the Fifth International Workshop on Intersection Types and Related Systems (ITRS 2010). The workshop was held in Edinburgh, Scotland, on July 9th 2010, as part of FLoC 2010 and affiliated with LICS 2010. The IT
Externí odkaz:
http://arxiv.org/abs/1101.4104
Publikováno v:
In Electronic Notes in Theoretical Computer Science 24 April 2015 312:197-213
Publikováno v:
13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2018, Oxford, United Kingdom. 2018
13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2018, Oxford, United Kingdom. 2018
International audience; Following the introduction of BNF notation by Backus for the Algol 60 report and subsequent notational variants, a metalanguage involving formal“grammars” has developed for discussing structured objects in Computer Science
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::99d2ac9415721e66b4b36820b31a6be4
https://hal.inria.fr/hal-01812800
https://hal.inria.fr/hal-01812800
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.