Peter D. Mosses

Publication Activity (10 Years)

Years Active: 1974-2023
Publications (10 Years): 15

Top Topics

Programming Language

Lambda Calculus

Operational Semantics

Reusable Components

Top Venues

J. Log. Algebraic Methods Program.

Publications