A-Translation and Looping Combinators in Pure Type Systems

Journal of Functional Programming - United Kingdom
doi 10.1017/s0956796800000952
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Pure Type Systems With Definitions

English

Pure Type Systems With De Bruijn Indices

Computer Journal
Computer Science
2002English

Interaction Combinators

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1997English

Categorical Multi-Combinators

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1987English

Social Systems and Translation

Handbook of Translation Studies
2013English

Termination Combinators Forever

2011English

DNA Tiles, Wang Tiles and Combinators

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2014English

Typed Combinators for Generic Traversal

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Combinators for Message-Passing in Haskell

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy