E-LIB Suche - Ergebnisse für: Bove, Ana

1

Unusual Presentation of Nocardiosis With Pleural Effusion i..:

Bove, Ana ; Abdullah, FNU ; Saveeta, FNU..
Cureus. , 2024

2

Alpha-Structural Induction and Recursion for the Lambda Cal..:

Copello, Ernesto ; Tasistro, Álvaro ; Szasz, Nora..
Electronic Notes in Theoretical Computer Science. 323 (2016) - p. 109-124 , 2016

Link: https://doi.org/10.1016/..

3

Partiality and recursion in interactive theorem provers – a..:

BOVE, ANA ; KRAUSS, ALEXANDER ; SOZEAU, MATTHIEU
Mathematical Structures in Computer Science. 26 (2014) 1 - p. 38-88 , 2014

Link: https://doi.org/10.1017/..

4

Language engineering and rigorous software development

International LerNet ALFA Summer School 2008, Piriapolis, U... Lecture notes in computer science ; 5520

Bove, Ana , 2009

Link: http://dx.doi.org/10.100..

5

Another Look at Function Domains:

Bove, Ana
Electronic Notes in Theoretical Computer Science. 249 (2009) - p. 61-74 , 2009

Link: https://doi.org/10.1016/..

6

Embedding a logical theory of constructions in Agda:

, In: Proceedings of the 3rd workshop on Programming languages meets program verification,

Bove, Ana ; Dybjer, Peter ; Sicard-Ramírez, Andrés - p. 59-66 , 2009

Link: https://dl.acm.org/doi/1..

7

Verifying haskell programs using constructive type theory:

, In: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell,

Abel, Andreas ; Benke, Marcin ; Bove, Ana.. - p. 62-73 , 2005

Link: https://dl.acm.org/doi/1..

8

Modelling general recursion in type theory:

BOVE, ANA ; CAPRETTA, VENANZIO
Mathematical Structures in Computer Science. 15 (2005) 4 - p. 671-708 , 2005

Link: https://doi.org/10.1017/..

9

A confluent calculus of Macro expansion and evaluation:

Bove, Ana ; Arbilla, Laura
ACM SIGPLAN Lisp Pointers. V (1992) 1 - p. 278-287 , 1992

Link: https://doi.org/10.1145/..

10

A confluent calculus of Macro expansion and evaluation:

, In: Proceedings of the 1992 ACM conference on LISP and functional programming,

Bove, Ana ; Arbilla, Laura - p. 278-287 , 1992

Link: https://dl.acm.org/doi/1..

11

Alpha-Structural Induction and Recursion for the Lambda Cal..:

Copello, Ernesto ; Tasistro, Álvaro ; Szasz, Nora..
Copello , E , Tasistro , Á , Szasz , N , Bove , A & Fernández , M 2016 , ' Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory ' , Electronic Notes in Theoretical Computer Science , vol. 323 , pp. 109-124 . https://doi.org/10.1016/j.entcs.2016.06.008. , 2016

Link: https://kclpure.kcl.ac.u..

12

Alpha-Structural Induction and Recursion for the Lambda Cal..:

Copello, Ernesto ; Tasistro, Álvaro ; Szasz, Nora..
Copello , E , Tasistro , Á , Szasz , N , Bove , A & Fernández , M 2016 , ' Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory ' , Electronic Notes in Theoretical Computer Science , vol. 323 , pp. 109-124 . https://doi.org/10.1016/j.entcs.2016.06.008. , 2016

Link: https://kclpure.kcl.ac.u..

13

Partiality and Recursion in Interactive Theorem Provers - A..:

Bove, Ana ; Krauss, Alexander ; Sozeau, Matthieu
hal-00691459. , 2012

Link: https://inria.hal.scienc..

14

Partiality and Recursion in Interactive Theorem Provers - A..:

Bove, Ana ; Krauss, Alexander ; Sozeau, Matthieu
hal-00691459. , 2012

Link: https://inria.hal.scienc..

15

Proceedings Workshop on Partiality and Recursion in Interac..:

Bove, Ana ; Komendantskaya, Ekaterina ; Niqui, Milad
http://arxiv.org/abs/1012.4555. , 2010

Link: http://arxiv.org/abs/101..