"A Count Invariant for Lambek Calculus with Additives and Bracket Modalities."

Oriol Valentín, Daniel Serret, Glyn Morrill (2013)

Details and statistics

DOI: 10.1007/978-3-642-39998-5_17

access: closed

type: Conference or Workshop Paper

metadata version: 2017-06-15