Searching for authors named "Tarmo Uustalu" – sorted by Relevance.
44 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
