scientific article
From MaRDI portal
Publication:2753693
zbMath0973.03017MaRDI QIDQ2753693
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus ⋮ Covert Movement in Logical Grammar ⋮ Unnamed Item
This page was built for publication: