Membrane Computing

DOI10.1007/B106721zbMATH Open1117.68358OpenAlexW2760751007MaRDI QIDQ5316622FDOQ5316622

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

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

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

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)