- C.-H. Luke Ong
:
Non-Determinism in a Functional Setting. LICS 1993: 275-286 - Michel Parigot:
Strong Normalization for Second Order Classical Natural Deduction. LICS 1993: 39-46 - Mati Pentus:
Lambek Grammars Are Context Free. LICS 1993: 429-433 - Wesley Phoa:
Adequacy for untyped translations of typed lambda-calculi. LICS 1993: 287-295 - Benjamin C. Pierce, Davide Sangiorgi:
Typing and Subtyping for Mobile Processes. LICS 1993: 376-385 - Andrew M. Pitts:
Relational Properties of Recursively Defined Domains. LICS 1993: 86-97 - Gordon D. Plotkin:
Type Theory and Recursion (Extended Abstract). LICS 1993: 374 - Amir Pnueli, Lenore D. Zuck:
In and Out of Temporal Logic. LICS 1993: 124-135 - Peter Schroeder-Heister:
Rules of Definitional Reflection. LICS 1993: 222-232 - Anil Seth:
Some Desirable Conditions for Feasible Functionals of Type~2. LICS 1993: 320-331 - Damian Niwinski, Alexei P. Stolboushkin:
y = 2x vs. y = 3x. LICS 1993: 172-178 - Igor Walukiewicz:
On Completeness of the mu-calculus. LICS 1993: 136-146 - Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993. IEEE Computer Society 1993, ISBN 0-8186-3140-6 [contents]
- Andrew M. Pitts:
Bisimulation and Co-induction (Tutorial). LICS 1993: 2-3
