Cover Image for System.Linq.Enumerable+EnumerablePartition`1[System.Char]

Denotational semantics with nominal scott domains

S Lösch, AM Pitts

OAI: oai:www.repository.cam.ac.uk:1810/245412

Published by:

Abstract

Languages Theory Metaprogramming denotational semantics domain theory full abstraction nominal sets symmetry