Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Jose Espirito Santo"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 5, Issue 2 (2009)
The intuitionistic fragment of the call-by-name version of Curien and Herbelin's \lambda\_mu\_{\~mu}-calculus is isolated and proved strongly normalising by means of an embedding into the simply-typed lambda-calculus. Our embedding is a continuation-
Externí odkaz:
https://doaj.org/article/172208528bfc40e4ad7effabedc8fcb0
The Covid-19 pandemic has put the travel and tourism industry in a crisis. The biggest markets which are Europe and Asia declined 41% and 33% respectively. The international tourist arrivals have declined by 77% in 2020 leaving many companies and sec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1437::42b5685f0e9bd19e2b58d398158b5b30
https://hdl.handle.net/10362/138771
https://hdl.handle.net/10362/138771
Publikováno v:
Logical Methods in Computer Science, Vol Volume 20, Issue 3 (2024)
We introduce a call-by-name lambda-calculus $\lambda Jn$ with generalized applications which is equipped with distant reduction. This allows to unblock $\beta$-redexes without resorting to the standard permutative conversions of generalized applicati
Externí odkaz:
https://doaj.org/article/a452807b5ef745c89148dd8613438de1
Autor:
José Espírito Santo
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 213, Iss Proc. CL&C 2016, Pp 41-51 (2016)
In the context of natural deduction for propositional classical logic, with classicality given by the inference rule reductio ad absurdum, we investigate the De Morgan translation of disjunction in terms of negation and conjunction. Once the translat
Externí odkaz:
https://doaj.org/article/341bc60dd3874f03b6c7102beeebec46
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 164, Iss Proc. CL&C 2014, Pp 63-77 (2014)
We apply an idea originated in the theory of programming languages - monadic meta-language with a distinction between values and computations - in the design of a calculus of cut-elimination for classical logic. The cut-elimination calculus we obtain
Externí odkaz:
https://doaj.org/article/45b30b2bf62b4ab5a27987d9be7eb7a1
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 126, Iss Proc. FICS 2013, Pp 28-43 (2013)
We propose to study proof search from a coinductive point of view. In this paper, we consider intuitionistic logic and a focused system based on Herbelin's LJT for the implicational fragment. We introduce a variant of lambda calculus with potentially
Externí odkaz:
https://doaj.org/article/397a4c98dcdd42d28b3daf73fcedef9c
Autor:
Maria José D. Martins, Teresa Oliveira, Joao Paulo Barros, José Espírito Santo, Vítor Trindade, Jorge Bonito
Publikováno v:
Revista Iberoamericana de Educación, Vol 56, Pp 159-177 (2011)
Este estudo tem como objectivos conhecer e comparar as concepções sobre a qualidade de ensino de docentes e estudantes de três estabelecimentos públicos de ensino superior da região do Alentejo (Portugal) e, no caso dos docentes, conhecer també
Externí odkaz:
https://doaj.org/article/7f3ea998af814234a4f86ae624cc17d8