I agree that this site is using cookies. You can find further informations here.
X
Rypacek, Ondrej
6  results:
Search for persons X
?
1

Some constructions on ω-groupoids:

, In: Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice,
Altenkirch, Thorsten ; Li, Nuo ; Rypáček, Ondřej - p. 1-8 , 2014
Link: https://dl.acm.org/doi/1..
 
?
2

Type-theoretic design patterns:

, In: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming,
Rypacek, Ondrej ; Backhouse, Roland ; Nilsson, Henrik - p. 13-22 , 2006
Link: https://dl.acm.org/doi/1..
 
?
3

An Investigation of the Laws of Traversals:

Jaskelioff, Mauro ; Rypacek, Ondrej
http://arxiv.org/abs/1202.2919.  , 2012
Link: http://arxiv.org/abs/120..
 
?
4

A Syntactical Approach to Weak omega-Groupoids:

Altenkirch, Thorsten ; Rypacek, Ondrej
doi:10.4230/LIPIcs.CSL.2012.16.  , 2012
Link: https://doi.org/10.4230/..
 
?
5

An investigation of the laws of traversals:

Jaskelioff, Mauro Javier ; Rypacek, Ondrej
info:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.76.5.  ,
Link: http://hdl.handle.net/11..
 
?
6

An Investigation of the Laws of Traversals:

Mauro Jaskelioff ; Ondrej Rypacek
http://arxiv.org/pdf/1202.2919v1.  , 2012
Link: https://doi.org/10.4204/..
 
1-6