Anjolina G. de Oliveira profile picture

Anjolina G. de Oliveira

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

Stand Alone

The Functional Interpretation of Logical Deduction
The Functional Interpretation Of Logical Deduction
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings