Autori: Lescanne Pierre
| Naslov | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage (Article) |
| Autori | Dougherty Daniel J Gilezan Silvia Lescanne Pierre |
| Info | THEORETICAL COMPUTER SCIENCE, (2008), vol. 398 br. 1-3, str. 114-128 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Strong normalization of the dual classical sequent calculus (Article) |
| Autori | Dougherty Daniel J Gilezan Silvia Lescanne Pierre Likavec Silvia J |
| Info | LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, (2005), vol. 3835 br. , str. 169-183 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Classical proofs, typed processes, and intersection types (Article) |
| Autori | Gilezan Silvia Lescanne Pierre |
| Info | TYPES FOR PROOFS AND PROGRAMS, (2004), vol. 3085 br. , str. 226-241 |
| Ispravka | ISI/Web of Science Citati: ISI/Web of Science |
