Searching for authors named "Daniel Leivant" – sorted by Relevance.
-
Feasible Functionals And Intersection Of Ramified Types
- ://www.elsevier.nl/locate/entcs/volume70.html 14 pages Feasible functionals and intersection of ramified types Daniel Leivant Computer
- Add To MetaCart
-
Higher Order Logic
- Higher Order Logic Daniel Leivant Contents 1 Introduction
- Cited by 15 (0 self) – Add To MetaCart
-
Functions Over Free Algebras Definable in the Simply-Typed Lambda Calculus
- Functions over free algebras definable in the simply-typed lambda calculus Daniel Leivant
- Cited by 1 (0 self) – Add To MetaCart

