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