| Tartalom: |
http://hdl.handle.net/10831/77571 |
| Archívum: |
EDIT |
| Gyűjtemény: |
ELTE Folyóiratok, kiadványok
ELTE Folyóiratok, kiadványok (IK)
Central-European Journal of New Technologies in Research, Education and Practice
|
| Cím: |
Interactive Teaching of Programming Language Theory with a Proof Assistant
|
| Létrehozó: |
Bereczky, Péter
Donkó, István
Horpácsi, Dániel
Kaposi, Ambrus
Németh, Dávid János
|
| Dátum: |
2020
|
| Téma: |
Central-European Journal of New Technologies in Research, Education and Practice
formal semantics
type systems
proof assistant
Coq
interactive teaching
|
| Nyelv: |
angol
|
| Típus: |
info:eu-repo/semantics/article
|
| Formátum: |
application/pdf
|
| Azonosító: |
elte:10.36427/CEJNTREP.2.1.470
elte:31345841
elte:1
elte:CEJNTREP
elte:Central-European Journal of New Technologies in Research, Education and Practice
elte:33
elte:19
elte:2
LOMS: https://edit.elte.hu/xmlui/bitstream/10831/77571/1/CEJNTREP_Evf2_Sz1_19.pdf
|
| Létrehozó: |
info:eu-repo/semantics/openAccess
|
