| Naslov
|
Characterization of strong normalizability for a sequent lambda calculus with co-control (Proceedings Paper)
|
| Autori
|
Santo Jose Espirito Ghilezan Silvia
|
| Info |
PROCEEDINGS OF THE 19TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2017), (2017), vol. br. , str. 163-174
|
| Projekat
|
FCT-Fundacao para a Ciencia e a TecnologiaPortuguese Foundation for Science and Technology [UID-MAT-00013/2013]; COST Action - The European research network on types for programming and verification (EUTypes) via STSM [CA15123]; Ministry of Education, Sci |
| Ispravka
|
ISI/Web of Science
Članak
Citati:
ISI/Web of Science
Scopus
|
|
|
