Typologies and Taxonomies By clibrary on Mon, 06/23/2025 - 20:13 Read more about Typologies and Taxonomies
Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy By clibrary on Mon, 06/23/2025 - 20:13 Read more about Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy
Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands By clibrary on Mon, 06/23/2025 - 20:13 Read more about Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands
Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden By clibrary on Mon, 06/23/2025 - 20:13 Read more about Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom By clibrary on Mon, 06/23/2025 - 20:13 Read more about Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA '93 By clibrary on Mon, 06/23/2025 - 20:13 Read more about Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA '93
Type Theory and Formal Proof By clibrary on Mon, 06/23/2025 - 20:13 Read more about Type Theory and Formal Proof
Tying Light in Knots — Applying topology to optics By clibrary on Mon, 06/23/2025 - 20:13 Read more about Tying Light in Knots — Applying topology to optics
