Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Tasistro, Álvaro"'
Publikováno v:
EPTCS 274, 2018, pp. 27-41
We present a full formalization in Martin-L\"of's Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using first-order syntax with one sort of names for both free and bound variables and Stoughton's multiple substitution.
Externí odkaz:
http://arxiv.org/abs/1807.01871
Publikováno v:
EPTCS 274, 2018, pp. 11-26
We introduce a universe of regular datatypes with variable binding information, for which we define generic formation and elimination (i.e. induction /recursion) operators. We then define a generic alpha-equivalence relation over the types of the uni
Externí odkaz:
http://arxiv.org/abs/1807.01870
Autor:
Michelini, Juan, Tasistro, Alvaro
We propose a presentation of classical propositional tableaux elaborated by application of methods that are noteworthy in program design, namely program derivation with separation of concerns. We start by deriving from a straightforward specification
Externí odkaz:
http://arxiv.org/abs/1507.03676
Publikováno v:
In Electronic Notes in Theoretical Computer Science 15 September 2020 351:187-203
Publikováno v:
In Electronic Notes in Theoretical Computer Science 26 October 2018 338:79-95
Publikováno v:
In Theoretical Computer Science 15 July 2017 685:65-82
Publikováno v:
In Electronic Notes in Theoretical Computer Science 11 July 2016 323:109-124
Publikováno v:
In Electronic Notes in Theoretical Computer Science 24 April 2015 312:215-230
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.
The Personal Software Process (PSP) promotes the use of careful procedures during all stages of development with the aim of increasing an individual ' 's productivity and producing high quality final products. Formal methods use the same methodologic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::07f8a04ac4f2318117534fb5d508337c