A Groupoid of Isomorphic Data Transformations
From MaRDI portal
Publication:3637276
DOI10.1007/978-3-642-02614-0_17zbMath1247.68048OpenAlexW1708938887MaRDI QIDQ3637276
Publication date: 9 July 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02614-0_17
Gödel numberingshylomorphismscomputational mathematics in Haskelldata type transformationshigher-order combinatorsranking/unranking
Related Items
Towards a generic view of primality through multiset decompositions of natural numbers ⋮ Emulating Primality with Multiset Representations of Natural Numbers
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A foundation of finite mathematics
- Generalising monads to arrows
- Ranking and unranking permutations in linear time
- On interpretations of arithmetic and set theory
- Die Widerspruchsfreiheit der allgemeinen Mengenlehre
- Recursive functions of symbolic expressions and their computation by machine, Part I
- Addition and multiplication of sets
- Mathematical Foundations of Computer Science 2003
- EFFICIENT PAIRING FUNCTIONS — AND WHY YOU SHOULD CARE
- Ein Verfahren der mathematischen Logik
- On the reduction of the decision problem. First paper. Ackermann prefix, a single binary predicate
- General Recursive Functions
- Decidability of the theory of the natural integers with the Cantor pairing function and the successor
