Tags
1 صفحه
Lean4
نظرية الأنماط وتماثل كاري-هاوارد: التناغم العميق بين القضايا كالأنماط والبراهين كالبرامج
