Searching for authors named "Silvia Ghilezan" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Poetic effects
- … Ghilezan 116 SILVIA GHILEZAN This paper revisits the results of Barendregt and Ghilezan [3] and generalizes…
- Cited by 1 (1 self) – Add To MetaCart
-
Reducibility Method for Simple Types and Church-Rosser Property
- …Reducibility Method for Simple Types and Church-Rosser Property Silvia Ghilezan gsilvia…
- Add To MetaCart
-
Two behavioural lambda models
- …-Ciancaglini 1 Dipartimento di Informatica, Università di Torino, Torino, Italy e-mail: dezani@(email omitted); Silvia…
- Cited by 3 (2 self) – Add To MetaCart
-
A Lambda Model Characterizing Computational Behaviours of Terms
- …-Ciancaglini Dipartimento di Informatica, Università di Torino, Torino, Italy e-mail: dezani@(email omitted); Silvia Ghilezan…
- Cited by 6 (4 self) – Add To MetaCart
-
Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination
- … and Silvia Ghilezan y May 26, 1998 Abstract It is well-known that there is a good correspondence between…
- Cited by 5 (0 self) – Add To MetaCart
-
Confluence of Untyped Lambda Calculus Via Simple Types
- …Con uence of untyped lambda calculus via simple types Silvia Ghilezan 1 , 2 and Viktor Kuncak…
- Cited by 2 (0 self) – Add To MetaCart
-
Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination
- …@(email omitted);) SILVIA GHILEZAN Faculty of Engineering, University of Novi Sad, Trg Dositeja Obradovica 6, 21000 Novi…
- Add To MetaCart
-
Reducibility Method for Intersection Types
- …Reducibility Method for Intersection Types Silvia Ghilezan Faculty of Engineering, University…
- Add To MetaCart
-
Behavioural Inverse Limit λ-Models
- …Behavioural Inverse Limit λ-Models Mariangiola Dezani-Ciancaglini a,1 , Silvia Ghilezan b,2…
- Add To MetaCart
-
Reducibility: a ubiquitous method in lambda calculus with intersection types
- … Abstract Silvia Ghilezan 1 ,3 École Normale Supérieure de Lyon, France, Faculty of Engineering, University…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
