Gilezan, Silvia

Network Lab View Statistics Email Alert RSS Feed

Publications

All

Articles

Conference Papers

Books & Book Chapters

Others

Author

Date issued

Type

Fulltext

9 No Fulltext

Refined By:

Date Issued: [2000 TO 2009]

Results 1-18 of 18 (Search time: 0.002 seconds).

	Issue Date	Title	Author(s)
1	1-Dec-2008	An approach to call-by-name delimited continuations	Herbelin H.; Gilezan, Silvia
2	1-Jan-2008	An approach to call-by-name delimited continuations	Herbelin H.; Gilezan, Silvia
3	28-May-2004	Behavioural inverse limit λ-models	Dezani-Ciancaglini M.; Gilezan, Silvia ; Likavec S.
4	9-Jun-2008	Characterising strongly normalising intuitionistic sequent terms	Espírito Santo J.; Gilezan, Silvia ; Ivetić, Jelena
5	1-Jan-2004	Characterizing strong normalization in a language with control operators	Dougherty D.; Gilezan, Silvia ; Lescanne P.
6	28-May-2008	Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage	Dougherty D.; Gilezan, Silvia ; Lescanne P.
7	1-Dec-2004	Classical Proofs, Typed Processes, and Intersection Types Extended Abstract	Gilezan, Silvia ; Lescanne P.
8	1-Jan-2001	Confluence of untyped lambda calculus via simple types	Gilezan, Silvia ; Kunčak V.
9	1-Jan-2001	Full intersection types and topologies in lambda calculus	Gilezan, Silvia
10	19-Jul-2005	Intersection and union types in the λ̄μμ̃-calculus	Dougherty D.; Gilezan, Silvia ; Lescanne P.
11	1-Jan-2000	Lambda terms for natural deduction, sequent calculus and cut elimination	Barendregt H.; Gilezan, Silvia
12	1-Jan-2007	Partitioning finite d-dimensional integer grids with applications	Gilezan, Silvia ; Pantović, Jovanka ; Žunić J.
13	1-Feb-2003	Reducibility: A ubiquitous method in lambda calculus with intersection types	Gilezan, Silvia ; Likavec S.
14	8-Aug-2008	Security types for dynamic web data	Dezani-Ciancaglini M.; Gilezan, Silvia ; Pantović, Jovanka ; Varacca D.
15	1-Dec-2007	Security types for dynamic web data	Dezani-Ciancaglini M.; Gilezan, Silvia ; Pantović, Jovanka
16	1-Sep-2007	Separating points by parallel hyperplanes-characterization problem	Gilezan, Silvia ; Pantović, Jovanka ; Žunić J.
17	1-Jan-2005	Strong normalization of the dual classical sequent calculus	Dougherty D.; Gilezan, Silvia ; Lescanne P.; Likavec S.
18	1-Dec-2003	Two behavioural lambda models	Dezani-Ciancaglini M.; Gilezan, Silvia