Searching for authors named "Paula Severi" – sorted by Relevance.
-
An operational approach to program extraction in the Calculus of Constructions
- and Paula Severi 2 DI-LIENS, lcole Normale Sup6rieure/CNRS UMR 8548, 45 rue d'Ulm, 75005 Paris, France
- Add To MetaCart
-
Internal Program Extraction in the Calculus of Inductive Constructions
- Internal Program Extraction in the Calculus of Inductive Constructions Paula Severi 1 and Nora
- Cited by 1 (1 self) – Add To MetaCart
-
Pure Type Systems with Definitions
- Pure Type Systems with Definitions Paula Severi Erik Poll ? fseveri,erikg@(email omitted); Eindhoven
- Cited by 17 (0 self) – Add To MetaCart
-
On Normalisation
- @(email omitted); Paula Severi Department of Mathematics and Computing Science Eindhoven University of Technology P
- Cited by 13 (2 self) – Add To MetaCart
-
Böhm's Theorem for Berarducci Trees
- Mariangiola Dezani and Paula Severi. c 2000 Published by Elsevier Science B. V. Dezani-Ciancaglini, Severi
- Add To MetaCart
-
A lambda calculus for D∞
- lambda calculus for D1 Paula Severi 1 and Fer-Jan de Vries 2 1 Centro de Matematica, Facultad de
- Add To MetaCart
-
Infinite rewriting: from syntax to semantics
- Infinitary Rewriting: From Syntax to Semantics ⋆ Richard Kennaway 1 , Paula Severi 2 , Ronan Sleep
- Cited by 2 (0 self) – Add To MetaCart
-
Normalisation in Lambda Calculus and its relation to Type Inference
- verdedigen op dinsdag 18 juni 1996 om 16.00 uur door Paula Gabriela Severi geboren te Montevideo, Uruguay
- Cited by 14 (1 self) – Add To MetaCart
-
Infinitary Lambda Calculus and Discrimination of Berarducci Trees
- -Ciancaglini a;2 Paula Severi b Fer-Jan de Vries c;3 a Dipartimento di Informatica, Universita degli Studi di
- Cited by 2 (2 self) – Add To MetaCart
-
Cs-R9545 1995
- Femke van Raamsdonk CWI P.O. Box 94079, 1090 GB Amsterdam The Netherlands femke@(email omitted); Paula Severi
- Add To MetaCart

