1. ∞-Groupoid Generated by an Arbitrary Topological λ-Model. (16th April 2021) Authors: Martínez-Rivillas, Daniel O; de Queiroz, Ruy J G B Journal: Logic journal of the IGPL Issue: Volume 30:Number 3(2022) Page Start: 465 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗