MSCS 2010 | Sciweavers

5

click to vote

MSCS
2010

80views more MSCS 2010»

On universal algebra over nominal sets

13 years 3 months ago

Download www.cs.le.ac.uk

Alexander Kurz, Daniela Petrisan

claim paper

Read More »

17

click to vote

MSCS
2010

103views more MSCS 2010»

Iterative reflections of monads

13 years 3 months 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 »

4

click to vote

MSCS
2010

67views more MSCS 2010»

Bitopological duality for distributive lattices and Heyting algebras

13 years 3 months ago

Download www.doc.ic.ac.uk

Guram Bezhanishvili, Nick Bezhanishvili, David Gab...

claim paper

Read More »

9

click to vote

MSCS
2010

86views more MSCS 2010»

Realisability semantics of parametric polymorphism, general references and recursive types

13 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers