scientific article
From MaRDI portal
Publication:2778832
zbMath0981.03064MaRDI QIDQ2778832
No author found.
Publication date: 21 March 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2044/20440360
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Game semantics for constructive modal logic ⋮ Second-order type isomorphisms through game semantics ⋮ Genericity and the \(\pi\)-calculus
This page was built for publication:
