We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such programs relying on second order interpretation that characterize two variants of type 2 polynomial complexity including the Basic Feasible Functions (BFF). These characterizations provide a new insight on the complexit...

Functional languages offer a high level of abstraction, which results in programs that are elegant and easy to understand. Central to the development of functional programming are inductive and coinductive types and associated programming constructs, such as pattern-matching. Whereas inductive types have a long tradition and are well supported in most languages, coinductive types are subject of...

Phytoplankton functional types are groupings of many species into a smaller number of types according to their ecological or biogeochemical role. Models describe phytoplankton functional types by a set of traits that determine their growth rates or fitness. Traits for functional types are often determined from observations on a small number of species under laboratory conditions. Functional typ...

Ludics is a logical framework in which types/formulas are modelled by sets of terms with the same computational behaviour. This paper investigates the representation of inductive data types and functional types in ludics. We study their structure following a game semantics approach. Inductive types are interpreted as least fixed points, and we prove an internal completeness result giving an exp...

The paper argues that a functional reduction of ordinary psychology to neuropsychology is possible by means of constructing fine-grained functional, mental sub-types that are coextensive with neuropsychological types. We establish this claim by means of considering as examples the cases of the disconnection syndrome and schizophrenia. We point out that the result is a conservative reduction, vi...

The rewriting logic CRWL has been proposed as a semantic framework for higher-order functional logic programming, using applicative rewriting systems as programs and lazy narrowing as the goal solving procedure. We present an extension of CRWL with a polymorphic type system, and we investigate the consequences of type discipline both at the semantic level and at the operational level. Semantica...

How many types of neurons are there in the brain? This basic neuroscience question remains unsettled despite many decades of research. Classification schemes have been proposed based on anatomical, electrophysiological, or molecular properties. However, different schemes do not always agree with each other. This raises the question of whether one can classify neurons based on their function dir...