MSCS 2010 | Sciweavers

26

click to vote

MSCS
2010

80views more MSCS 2010»

On universal algebra over nominal sets

14 years 21 days ago

Download www.cs.le.ac.uk

Alexander Kurz, Daniela Petrisan

claim paper

Read More »

41

click to vote

MSCS
2010

103views more MSCS 2010»

Iterative reflections of monads

14 years 21 days ago

Download www.iti.cs.tu-bs.de

Iterative monads, introduced by Calvin Elgot in the 1970’s, are those ideal monads in which every guarded system of recursive equations has a unique solution. For every ideal mon...

Jirí Adámek, Stefan Milius, Jiri Vel...

claim paper

Read More »

24

click to vote

MSCS
2010

67views more MSCS 2010»

Bitopological duality for distributive lattices and Heyting algebras

14 years 21 days ago

Download www.doc.ic.ac.uk

Guram Bezhanishvili, Nick Bezhanishvili, David Gab...

claim paper

Read More »

33

click to vote

MSCS
2010

86views more MSCS 2010»

Realisability semantics of parametric polymorphism, general references and recursive types

14 years 21 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers