E-LIB Suche - Ergebnisse für: Pagano, Miguel

1

The formal verification of the ctm approach to forcing:

Gunther, Emmanuel ; Pagano, Miguel ; Sánchez Terraf, Pedro.
Annals of Pure and Applied Logic. 175 (2024) 5 - p. 103413 , 2024

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

2

A formalisation of LEGv8 in Agda:

, In: Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity,

Olmos, Santiago Arranz ; Fernández, Martín ; Steinberg, Matías... - p. 33-39 , 2020

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

3

Formalization of Forcing in Isabelle/ZF:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Gunther, Emmanuel ; Pagano, Miguel ; Sánchez Terraf, Pedro - p. 221-235 , 2020

Link: https://doi.org/10.1007/..

4

Mechanization of coherence and adequacy: Being extrinsic ex..:

Gadea, Alejandro ; Gunther, Emmanuel ; Pagano, Miguel
Science of Computer Programming. 197 (2020) - p. 102512 , 2020

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

5

First Steps Towards a Formalization of Forcing:

Gunther, Emmanuel ; Pagano, Miguel ; Terraf, Pedro Sánchez
Electronic Notes in Theoretical Computer Science. 344 (2019) - p. 119-136 , 2019

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

6

Formalization of Universal Algebra in Agda:

Gunther, Emmanuel ; Gadea, Alejandro ; Pagano, Miguel
Electronic Notes in Theoretical Computer Science. 338 (2018) - p. 147-166 , 2018

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

7

An Internalist Approach to Correct-by-Construction Compiler:

, In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming,

Pardo, Alberto ; Gunther, Emmanuel ; Pagano, Miguel. - p. 1-12 , 2018

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

8

Biorthogonality for a Lazy language:

, In: Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages,

Fridlender, Daniel ; Gadea, Alejandro ; Pagano, Miguel. - p. 1-9 , 2017

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

9

The importance of being Extrinsic : Coherence and adequa..:

, In: Proceedings of the 21st Brazilian Symposium on Programming Languages,

Gadea, Alejandro ; Gunther, Emmanuel ; Pagano, Miguel - p. 1-8 , 2017

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

10

Proving Correctness of a Compiler Using Step-indexed Logica..:

Rodríguez, Leonardo ; Pagano, Miguel ; Fridlender, Daniel
Electronic Notes in Theoretical Computer Science. 323 (2016) - p. 197-214 , 2016

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

11

Frequency of the Expanded Hexanucleotide G4C2 Repeat in the..:

Gargiulo Monachelli, Gisella ; LeBlond, Claire ; Bettini, Mariela...
Neurology. 84 (2015) 14_supplement - p. , 2015

Link: https://doi.org/10.1212/..

12

Pure type systems with explicit substitutions:

FRIDLENDER, DANIEL ; PAGANO, MIGUEL
Journal of Functional Programming. 25 (2015) - p. , 2015

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

13

P3‐104: Discourse production in Alzheimer's disease (AD): C..:

Labos, Edith ; Garau, Maria ; Pagano, Miguel
Alzheimer's & Dementia. 6 (2010) 4S_Part_16 - p. , 2010

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

14

Homocysteine, vitamin B 12 and folate in Alzheimer's and va..:

Domínguez, Raúl O. ; Marschoff, Enrique R. ; Guareschi, Eduardo M....
Clinica Chimica Acta. 359 (2005) 1-2 - p. 163-170 , 2005

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

15

Oxidative stress in Alzheimer's and vascular dementias: mas..:

Serra, Jorge A. ; Marschoff, Enrique R. ; Domı́nguez, Raúl O....
Journal of the Neurological Sciences. 218 (2004) 1-2 - p. 17-24 , 2004

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