Pages that link to "Ruy de Queiroz"
Showing 18 items.
- Lambda calculus (links | edit)
- Tractatus Logico-Philosophicus (links | edit)
- List of Brazilians (links | edit)
- Curry–Howard correspondence (links | edit)
- Workshop on Logic, Language, Information and Computation (links | edit)
- Queiroz (surname) (links | edit)
- Ruy de Queiroz (transclusion) (links | edit)
- Lambda calculus definition (links | edit)
- 1958 in Brazil (links | edit)
- List of Brazilian mathematicians (links | edit)
- María Manzano (links | edit)
- Talk:Ruy de Queiroz (transclusion) (links | edit)
- User:Gregbard/old watchlist (links | edit)
- User:Gregbard/old watchlist2 (links | edit)
- User talk:Rodrigo.costa (links | edit)
- User talk:Ruud Koot/2014 (links | edit)
- User talk:Ruud Koot/2015 (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematicians (Q) (links | edit)