The following pages link to Membrane Computing (Q5316622):
Displaying 6 items.
- Using typed lambda calculus to implement formal systems on a machine (Q688571) (← links)
- Equational programming in \(\lambda\)-calculus via SL-systems. Part 1 (Q1350516) (← links)
- Typed ψ-calculi (Q3090835) (← links)
- Some logical and syntactical observations concerning the first-order dependent type system λP (Q4704760) (← links)
- (Q4825687) (← links)
- System F i (Q5300891) (← links)