//
Skip to main content
PRL Project

TLA

by Scott D. Stoller, Chetan Murthy
1994-1995

We will talk about TLA. About the logic, its uses, its model theory, and the possibilities for mechanization in Nuprl.