scientific article; zbMATH DE number 6287623

zbMath1286.03043MaRDI QIDQ5411470

Norihiro Kamide

Publication date: 23 April 2014

Full work available at URL: http://www.filozof.uni.lodz.pl/bulletin/pdf/39_12_8.pdf

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Constructive Game Logic ⋮ Constructive hybrid games

Uses Software

• MiniML

This page was built for publication: