Tarmo - PDFSEARCH.IO - Document Search Engine

Tarmo
Results: 95

#	Item
31	Chapter 1 Generalizing the AUGMENT Combinator Neil Ghani1 , Tarmo Uustalu2 , and Varmo Vene3 Abstract: The usual initial algebra semantics of inductive types provides a clear Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2005-06-02 17:46:01
32	Coherence for Skew-Monoidal Categories Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Estonia I motivate a variation (due to K. Szlach´anyi) of monoidal categories called sk Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2014-06-06 06:16:09
33	Monad Combinators, Non-Determinism and Probabilistic Choice [Extended abstract] Tarmo Uustalu Inst. of Cybernetics Tallinn University of Technology Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2004-08-26 02:59:37
34	Coinductive Big-Step Semantics for Concurrency Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, 12618 Tallinn, Estonia In a paper presented at SOS], Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2014-08-25 15:29:58
35	Strong Relative Monads (Extended Abstract) Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology Akadeemia tee 21, EETallinn, Estonia In a paper presented here in Paphos at FoS Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2014-08-25 16:01:34
36	Distributive Laws of Directed Containers [Extended Abstract] Danel Ahman1 and Tarmo Uustalu2 1 Computer Laboratory, University of Cambridge, 15 J. J. Thomson Avenue, Cambridge CB3 0FD, United Kingdom, Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2012-03-12 16:06:13
37	Update Monads: Cointerpreting Directed Containers∗ Danel Ahman1 and Tarmo Uustalu2 1 Laboratory for Foundations of Computer Science, University of Edinburgh Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2014-07-23 15:50:50
38	Idea on numerical description of cyclone intensity Tarmo Tanilsoo November 1, 2012 In light of the recent discussions on the feasibility of Sar-Simpson Hurricane Add to Reading List Source URL: www.tarmotanilsoo.com Language: English - Date: 2012-11-01 14:26:15
39	Relating Sequent Calculi for Bi-intuitionistic Propositional Logic Lu´ıs Pinto Tarmo Uustalu Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2011-01-27 08:54:11
40	Certified CYK parsing of context-free languagesI Denis Firsov∗, Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, 12618 Tallinn, Estonia Abstract We report a work on certifie Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2014-10-20 19:28:48

UPDATE