Colin Stirling

Publication Activity (10 Years)

Years Active: 1983-2013
Publications (10 Years): 0

Top Topics

Lambda Calculus

Linear Time Temporal Logic

Top Venues

Festschrift for Dave Schmidt

Publications