Zobrazeno 1 - 10
of 62
pro vyhledávání: '"Niqui, Milad"'
Publikováno v:
EPTCS 43, 2010
This volume contains the proceedings of the Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010) which took place on July 15 in Edinburgh, UK. This workshop was held as a satellite workshop of the International Conference on
Externí odkaz:
http://arxiv.org/abs/1012.4555
Autor:
Niqui, Milad
Publikováno v:
Logical Methods in Computer Science, Volume 4, Issue 3 (September 10, 2008) lmcs:953
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations are special cases-- on a representation of real numbers by coinductiv
Externí odkaz:
http://arxiv.org/abs/0807.1669
Autor:
Niqui, Milad a, Rutten, Jan J.M.M. a, b, ⁎
Publikováno v:
In Science of Computer Programming 1 November 2013 78(11):2192-2215
Publikováno v:
In Electronic Notes in Theoretical Computer Science 6 September 2010 265:351-368
Autor:
Niqui, Milad a, 1
Publikováno v:
In Electronic Notes in Theoretical Computer Science 20 October 2006 164(1):121-139
Autor:
Hughes, Jesse a, b, Niqui, Milad a, ⁎
Publikováno v:
In Theoretical Computer Science 2006 351(1):61-73
Autor:
Niqui, Milad1 M.Niqui@cs.ru.nl
Publikováno v:
Theory of Computing Systems. Jun2007, Vol. 40 Issue 4, p127-154. 28p.
Autor:
Eekelen, M.C.J.D. van, Mol, Maarten de, Barendsen, Erik, Capretta, Venanzio, Geuvers, Herman, Niqui, Milad
Publikováno v:
Barendsen, Erik; Capretta, Venanzio; Geuvers, Herman (ed.), Reflections on Type Theory, lambda-calculus, and the Mind. Essays dedicated to Henk Barendregt on the Occasion of his 60th Birthday, pp. 87-100
Barendsen, Erik; Capretta, Venanzio; Geuvers, Herman (ed.), Reflections on Type Theory, lambda-calculus, and the Mind. Essays dedicated to Henk Barendregt on the Occasion of his 60th Birthday, 87-100. Nijmegen : Radboud University Nijmegen
STARTPAGE=87;ENDPAGE=100;TITLE=Barendsen, Erik; Capretta, Venanzio; Geuvers, Herman (ed.), Reflections on Type Theory, lambda-calculus, and the Mind. Essays dedicated to Henk Barendregt on the Occasion of his 60th Birthday
Barendsen, Erik; Capretta, Venanzio; Geuvers, Herman (ed.), Reflections on Type Theory, lambda-calculus, and the Mind. Essays dedicated to Henk Barendregt on the Occasion of his 60th Birthday, 87-100. Nijmegen : Radboud University Nijmegen
STARTPAGE=87;ENDPAGE=100;TITLE=Barendsen, Erik; Capretta, Venanzio; Geuvers, Herman (ed.), Reflections on Type Theory, lambda-calculus, and the Mind. Essays dedicated to Henk Barendregt on the Occasion of his 60th Birthday
Contains fulltext : 36368.pdf (Publisher’s version ) (Open Access)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8522fb2a4947885c72bc6ade1b8002d1
https://hdl.handle.net/2066/36368
https://hdl.handle.net/2066/36368
Publikováno v:
Barendsen, Erik; Geuvers, Herman; Capretta, Venanzio (ed.), Reflections on Type Theory, Lambda Calculus, and the Mind Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday, pp. 161-171
Barendsen, Erik; Geuvers, Herman; Capretta, Venanzio (ed.), Reflections on Type Theory, Lambda Calculus, and the Mind Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday, 161-171. Radboud University Nijmegen : Radboud University Nijmegen
STARTPAGE=161;ENDPAGE=171;TITLE=Barendsen, Erik; Geuvers, Herman; Capretta, Venanzio (ed.), Reflections on Type Theory, Lambda Calculus, and the Mind Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday
Barendsen, Erik; Geuvers, Herman; Capretta, Venanzio (ed.), Reflections on Type Theory, Lambda Calculus, and the Mind Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday, 161-171. Radboud University Nijmegen : Radboud University Nijmegen
STARTPAGE=161;ENDPAGE=171;TITLE=Barendsen, Erik; Geuvers, Herman; Capretta, Venanzio (ed.), Reflections on Type Theory, Lambda Calculus, and the Mind Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday
Contains fulltext : 36311.pdf (Publisher’s version ) (Open Access)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bc3556f06ab2f23da25c307ab7e5c952
https://hdl.handle.net/2066/36311
https://hdl.handle.net/2066/36311