The following pages link to (Q2995019):
Displaying 3 items.
- Special issue: Selected papers based on the presentations at the workshop on categorial logic and the conference Unilog 2010, Lisbon, Portugal, June, 2010 (Q366181) (← links)
- Special issue: Selected papers based on the presentations at the workshop `Continuity, computability, constructivity: from logic to algorithms', Cologne, Germany, July 2009 (Q418690) (← links)
- (Q3007651) (← links)