Ruy J G B De Queiroz profile picture

Ruy J G B De Queiroz

Is this your author profile? Create an account to customize it!

Stand Alone

The Functional Interpretation Of Logical Deduction
Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Logic, Language, Information, and Computation
Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings