logo
Lambda calculus

会议结果 (1)

International Colloquium on Theoretical Aspects of Computing (ICTAC)

Rank: COffline
Marrakech, Morocco
Nov 24, 2025 - Nov 28, 2025
Formal languages and automataSemantics of programming languagesLogic in computer science+23 更多