# * 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.

1994-1995

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