Favio E. Miranda-Perea

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

4 Favio E. Miranda-Perea: Some Remarks on Type Systems for Course-of-value Recursion. Electr. Notes Theor. Comput. Sci. 247: 103-121 (2009)

3 Favio E. Miranda-Perea, Lourdes Del Carmen González-Huesca: Selective Memoization with Box Types. Electr. Notes Theor. Comput. Sci. 256: 67-85 (2009)

2 Favio E. Miranda-Perea: Two extensions of system ${\mathsf F}$ with (co)iteration and primitive (co)recursion principles. ITA 43(4): 703-766 (2009)

2005

1 Favio E. Miranda-Perea: Realizability for Monotone and Clausular (Co)inductive Definitions. Electr. Notes Theor. Comput. Sci. 123: 179-193 (2005)

	2009
4		Favio E. Miranda-Perea: Some Remarks on Type Systems for Course-of-value Recursion. Electr. Notes Theor. Comput. Sci. 247: 103-121 (2009)
3		Favio E. Miranda-Perea, Lourdes Del Carmen González-Huesca: Selective Memoization with Box Types. Electr. Notes Theor. Comput. Sci. 256: 67-85 (2009)
2		Favio E. Miranda-Perea: Two extensions of system ${\mathsf F}$ with (co)iteration and primitive (co)recursion principles. ITA 43(4): 703-766 (2009)
	2005
1		Favio E. Miranda-Perea: Realizability for Monotone and Clausular (Co)inductive Definitions. Electr. Notes Theor. Comput. Sci. 123: 179-193 (2005)

Coauthor Index