Membrane Computing

DOI10.1007/B106721MaRDI QIDQ5316622zbMATH OpenOpenAlexFDO

Authors Loïc Colson, Nataşa Jonoska, M. Margenstern

Publication date 14 September 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b106721

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Recursive functions and relations, subrecursive hierarchies (03D20) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 2113953
• General recursive functions in a very simply interpretable typed -calculus
• An Interaction Net Encoding of Gödel’s System  $$\mathcal {T}$$
• The \(\lambda \mu^{\mathbf{T}}\)-calculus
• Membrane Computing

Cited in

(6)

• Equational programming in -calculus via SL-systems. Part 1
• Typed ψ-calculi
• Some logical and syntactical observations concerning the first-order dependent type system λP
• scientific article; zbMATH DE number 2113953 (Why is no real title available?)
• System F i
• Using typed lambda calculus to implement formal systems on a machine

This page was built for publication: Membrane Computing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5316622)