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

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

Recommendations

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

Cited in

(6)

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

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)