λP Systems and Typed λ-Calculus

Membrane Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31837-8_1 ◽

2005 ◽

pp. 1-18

Author(s):

Loïc Colson ◽

Nataša Jonoska ◽

Maurice Margenstern

Download Full-text