Misplaced Pages

The following pages link to Ruy de Queiroz

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 17 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)
• 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)
• Misplaced Pages:WikiProject Mathematics/List of mathematicians (Q) (links | edit)