Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Frank Nordemann

Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic

Mathematical Structures in Computer Science

Computer Science Applications

English