Membrane Computing
From MaRDI portal
Publication:5316622
Recommendations
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)