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, Bastad, Sweden, June 6-10, 1994. Selected Papers By clibrary on Mon, 06/23/2025 - 20:13 Read more about Types for Proofs and Programs International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
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
Two-Parameter Martingales and Their Quadratic Variation By clibrary on Mon, 06/23/2025 - 20:13 Read more about Two-Parameter Martingales and Their Quadratic Variation
Twistor Theory for Riemannian Symmetric Spaces By clibrary on Mon, 06/23/2025 - 20:13 Read more about Twistor Theory for Riemannian Symmetric Spaces
