Part of the Computer Sciences Commons

Works by Daniel Leivant in Computer Sciences

2013

Stratified polymorphism and primitive recursion, Norman Danner, Daniel Leivant
Norman Danner

Link