Jaime Gaspar

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2010

3 Jaime Gaspar, Ulrich Kohlenbach: On Tao's "finitary" infinite pigeonhole principle. J. Symb. Log. 75(1): 355-371 (2010)

2 Jaime Gaspar, Paulo Oliva: Proof interpretations with truth. Math. Log. Q. 56(6): 591-610 (2010)

2009

1 Jaime Gaspar: Factorization of the Shoenfield-like Bounded Functional Interpretation. Notre Dame Journal of Formal Logic 50(1): 53-60 (2009)

	2010
3		Jaime Gaspar, Ulrich Kohlenbach: On Tao's "finitary" infinite pigeonhole principle. J. Symb. Log. 75(1): 355-371 (2010)
2		Jaime Gaspar, Paulo Oliva: Proof interpretations with truth. Math. Log. Q. 56(6): 591-610 (2010)
	2009
1		Jaime Gaspar: Factorization of the Shoenfield-like Bounded Functional Interpretation. Notre Dame Journal of Formal Logic 50(1): 53-60 (2009)

Coauthor Index

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page