On Principal Types of Bck-Lambda-Terms

AuthID
P-004-DV9
2
Author(s)
2
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
Publication Identifiers
Dblp: conf/wollic/BrodaD07
Scopus: 2-s2.0-38149041636
Wos: WOS:000247863700009
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.