Home
Random
Nearby
Log in
Settings
Donate
About Wikipedia
Disclaimers
Search
User
:
Ruud Koot/Computer science/Curry–Howard correspondence
User page
Talk
Language
Watch
Edit
<
User:Ruud Koot
|
Computer science
(Redirected from
User:Ruud Koot/Computer science/Curry-Howard correspondence
)
induction principle
recursion scheme