Searching for authors named "Tarmo Uustalu" – sorted by Relevance.
-
Strong Dinaturality and Initial Algebras
- Strong Dinaturality and Initial Algebras # Tarmo Uustalu +# Inst. of Cybernetics, Tallinn Tech
- Add To MetaCart
-
Extensions of Structural Synthesis of Programs
- Extensions of Structural Synthesis of Programs Tarmo Uustalu Dept of Teleinformatics, The Royal
- Cited by 5 (0 self) – Add To MetaCart
-
Monad Translating Inductive and Coinductive Types
- Monad Translating Inductive and Coinductive Types Tarmo Uustalu Inst. of Cybernetics, Tallinn
- Cited by 5 (0 self) – Add To MetaCart
-
Combining Object-Oriented and Logic Paradigms: A Modal Logic Programming Approach
- Combining Object-Oriented and Logic Paradigms: A Modal Logic Programming Approach Tarmo Uustalu 1
- Cited by 3 (0 self) – Add To MetaCart
-
Generalizing Substitution
- Applications GENERALIZING SUBSTITUTION # Tarmo Uustalu 1, 2 Abstract. It is well known that, given
- Cited by 2 (1 self) – Add To MetaCart
-
Mendler-Style Inductive Types, Categorically (Extended Abstract)
- Mendler-Style Inductive Types, Categorically Extended Abstract Tarmo Uustalu 1 and Varmo Vene 2
- Add To MetaCart
-
Least and Greatest Fixed Points in Intuitionistic Natural Deduction
- Least and greatest xed points in intuitionistic natural deduction ? Tarmo Uustalu a;1
- Add To MetaCart
-
Linear Logic Programming for AI Planning
- Planning Master thesis Peep Kungas Supervisor: Tarmo Uustalu A thesis submitted in conformity
- Add To MetaCart
-
Normalization by Evaluation for λ → 2
- Normalization by evaluation for # #2 Thorsten Altenkirch 1 # and Tarmo Uustalu 2 ## 1 School
- Add To MetaCart
-
Explicit Substitutions and Higher-Order Syntax (Extended Abstract)
- . and Comp. Sci. University of Leicester University Road, Leicester LE1 7RH, UK ng13@(email omitted); Tarmo
- Cited by 4 (2 self) – Add To MetaCart

