User:Ruud Koot/Computer science/Curry–Howard correspondence

< User:Ruud Koot‎ | Computer science

induction principle	recursion scheme

Retrieved from "https://en.wikipedia.org/w/index.php?title=User:Ruud_Koot/Computer_science/Curry–Howard_correspondence&oldid=468888122"