Jun. 6th, 2008

К типизации лямбды с зависимыми типами

Jun. 6th, 2008 09:54 pm
deniok: (typed lambda)
Для чего нужна Π-абстракция при наличии зависимых типов?

( А вот для чего... )
Tags:
  • Add Memory
  • Share This Entry

Profile

deniok: (Default)
deniok

February 2022

S M T W T F S
  12345
6789101112
13141516171819
20212223 242526
2728     

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 13th, 2025 11:18 pm
Powered by Dreamwidth Studios