Programming Language Foundations in Agda I
GPTKB entity
Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:online_learning_platform
|
| gptkbp:focusesOn |
gptkb:logic
gptkb:programming_language gptkb:Agda formal verification |
| gptkbp:hasPart |
gptkb:Programming_Language_Foundations_in_Agda_II
|
| gptkbp:language |
English
|
| gptkbp:platform |
gptkb:University_of_Edinburgh
gptkb:YouTube |
| gptkbp:startYear |
2018
|
| gptkbp:supportsFormat |
gptkb:lecture_notes
video lectures |
| gptkbp:teaches |
gptkb:Philip_Wadler
gptkb:Wen_Kokke |
| gptkbp:bfsParent |
gptkb:PLFA_I
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Programming Language Foundations in Agda I
|