Valeria de Paiva

Ruy de Queiroz

Daniel Leivant

Anjolina G. de Oliveira

Lawrence S. Moss

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015. The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.

22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Logic, Language, Information, and Computation

Abstract: "We consider predicative type-abstraction disciplines based on type quantification with finitely stratified levels. The main technical result is that the functions representable in the finitely stratified polymorphic [lambda]-calculus are precisely the super-elementary functions, i.e. the class E4 in Grzegorczyk's subrecursive hierarchy. This implies that there is no super-elementary bound on the length of optimal normalization sequences, and that the equality problem for finitely stratified polymorphic [lambda]-expressions is not super-elementary. We also observe that finitely stratified polmorphism augmented with type recursion admits functional algorithms that are not typable in the full second order [lambda]-calculus."

Daniel Leivant

Books

Your next favorite book is out there