Classical Logic, Continuation Semantics and Abstract Machines (1998)

Cached

Download Links

by Thomas Streicher , Fachbereich Mathematik , B. Reus
Citations:51 - 4 self