Membrane Computing

DOI10.1007/B106721zbMATH Open1117.68358OpenAlexW2760751007MaRDI QIDQ5316622FDOQ5316622

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)

Cited In (6)

• Title not available (Why is that?)
• Some logical and syntactical observations concerning the first-order dependent type system λP
• Typed ψ-calculi
• Equational programming in \(\lambda\)-calculus via SL-systems. Part 1
• System F i
• Using typed lambda calculus to implement formal systems on a machine

   Recommendations

• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)