منابع مشابه
An Inhomogeneous Lambda-Determinant
We introduce a multi-parameter generalization of the Lambda-determinant of Robbins and Rumsey, based on the cluster algebra with coefficients attached to a T -system recurrence. We express the result as a weighted sum over alternating sign matrices.
متن کاملAn Extensional Characterization of Lambda-Lifting and Lambda-Dropping
Lambda-lifting and lambda-dropping respectively transform a blockstructured functional program into recursive equations and vice versa. Lambda-lifting was developed in the early 80’s, whereas lambda-dropping is more recent. Both are split into an analysis and a transformation. Published work, however, has only concentrated on the analysis parts. We focus here on the transformation parts and mor...
متن کاملAn extended type system with lambda-typed lambda-expressions
We present the system d, an extended type system with lambda-typed lambdaexpressions. It is related to type systems originating from the Automath project. d extends existing lambda-typed systems by an existential abstraction operator as well as propositional operators. β-reduction is extended to also normalize negated expressions using a subset of the laws of classical negation, hence d is norm...
متن کاملAn Overview of Lambda-PROLOG
λ-Prolog is a logic programming language that extends Prolog by incorporating notions of higher-order functions, λ-terms, higher-order unification, polymorphic types, and mechanisms for building modules and secure abstract data types. These new features are provided in a principled fashion by extending the classical first-order theory of Horn clauses to the intuitionistic higher-order theory of...
متن کاملAn Elliptic Determinant Transformation
Determinant evaluations play an important role in mathematics, perhaps most notably in combinatorics, see Krattenthaler’s surveys [K2] and [K3]. Many useful determinant evaluations are rational identities, which rises the question of finding generalizations to the elliptic level. In recent work with Schlosser [RS2], we gave an approach to elliptic determinant evaluations that encompasses most r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Electronic Journal of Combinatorics
سال: 2013
ISSN: 1077-8926
DOI: 10.37236/2756