Publications

On Principal Types of Bck-Lambda-Terms

AuthID
P-004-DV9

Author(s)

Broda, S

Damas, L

Editor(s)

Leivant, D; DeQueiroz, R

Document Type

Proceedings Paper

Year published

2007

Published

in Logic, Language, Information and Computation, Proceedings in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743

Volume: 4576, Pages: 120-130 (11)

Conference

14Th International Workshop on Logic, Language, Information and Computation, Date: JUL 02-05, 2007, Location: Rio de Janeiro, BRAZIL, Sponsors: Assoc Symbol Logic, Interest Grp Pure & Appl Log, European Assoc Log, Language & Informat, European Assoc Theoret Comp Sci, Soc Brasileira Computacao, Soc Brasileira Loc

Indexing