Showing
1 - 10
results of
10
for search '
Tarmo Uustalu
'
Skip to content
Home
High Impact Articles
Search Options
UiTM Open Access
Search by UiTM Scopus
Advanced Search
Search by Category
Discovery Service
Sources
Jawi Collection
UiTM Journals
List UiTM Journal in IR
Statistic
About
Open Access
Creative Commons Licenses
COKI | Malaysia Open Access
Report Technical
User Guide
Contact Us
Search Tips
FAQs
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Tarmo Uustalu
Showing
1 - 10
results of
10
for search '
Tarmo Uustalu
'
, query time: 0.05s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Coinductive Big-Step Semantics for Concurrency
by
Tarmo
Uustalu
Published 2013-12-01
Get full text
Article
2
Structured general corecursion and coinductive graphs [extended abstract]
by
Tarmo
Uustalu
Published 2012-02-01
Get full text
Article
3
Coherence for Skew-Monoidal Categories
by
Tarmo
Uustalu
Published 2014-06-01
Get full text
Article
4
Relating Sequent Calculi for Bi-intuitionistic Propositional Logic
by
Luís Pinto
,
Tarmo
Uustalu
Published 2011-01-01
Get full text
Article
5
Generating Representative Executions [Extended Abstract]
by
Hendrik Maarand
,
Tarmo
Uustalu
Published 2017-04-01
Get full text
Article
6
Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction
by
Keiko Nakata
,
Tarmo
Uustalu
Published 2010-08-01
Get full text
Article
7
Directed Containers as Categories
by
Danel Ahman
,
Tarmo
Uustalu
Published 2016-04-01
Get full text
Article
8
Relative Monads Formalised
by
Thorsten Altenkirch
,
James Chapman
,
Tarmo
Uustalu
Published 2014-07-01
Get full text
Article
9
Formalizing Restriction Categories
by
James Chapman
,
Tarmo
Uustalu
,
Niccolò Veltri
Published 2017-03-01
Get full text
Article
10
Variations on Noetherianness
by
Denis Firsov
,
Tarmo
Uustalu
,
Niccolò Veltri
Published 2016-04-01
Get full text
Article
Search Tools:
Get RSS Feed
—
Email this Search
Loading...