×

Found 307 Documents (Results 1–100)

Logical relations and parametricity – a Reynolds programme for category theory and programming languages. (English) Zbl 1337.68052

Power, John (ed.) et al., Proceedings of the workshop on algebra, coalgebra and topology (WACT 2013), Bath, UK, March 1, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 303, 149-180, electronic only (2014).
MSC:  68N15 68N30 68-02
Full Text: DOI

Coalgebraic semantics for derivations in logic programming. (English) Zbl 1344.68043

Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 268-282 (2011).

Filter Results by …

Access

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software