Meeting on dependently typed decision theories, PIK 2017-03
2017-03-29: Open Games
DSLsofMath/DepTypeDecTh
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Meeting on dependently typed decision theories, PIK 2017-03
2017-03-29: Open Games