Jose Vergara

According to our database¹, Jose Vergara authored at least 3 papers between 2013 and 2017.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2017

Conflicting accounts of λ-definability.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

2014

Confusion in the Church-Turing Thesis.

[BibT_eX]

[DOI]

CoRR, 2014

2013

Growing a Language in Pattern Calculus.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013