Канал: Ambrus Kaposi

TT intro 05 identity types

TT intro 05 identity types

TT intro 09 yoneda embedding

TT intro 09 yoneda embedding

TT intro 13 groupoid model

TT intro 13 groupoid model

TT intro 11 metatheoretic properties

TT intro 11 metatheoretic properties

TT intro 10 two level type theory

TT intro 10 two level type theory

TT intro 08 presheaf models

TT intro 08 presheaf models

TT intro 06 family model

TT intro 06 family model

TT intro 04 universes

TT intro 04 universes

TT intro 03 standard model

TT intro 03 standard model

TT intro 02 cwf

TT intro 02 cwf

TT intro 01 basics of dependent type theory

TT intro 01 basics of dependent type theory

TT intro 12 normalisation

TT intro 12 normalisation

Naplemento - Bodó Márton: Századvégi szerenád

Naplemento - Bodó Márton: Századvégi szerenád

Naplemento - Weöres Sándor: Boldogtalan vagyok

Naplemento - Weöres Sándor: Boldogtalan vagyok

Naplemento - Nemes Nagy Ágnes: A visszajáró

Naplemento - Nemes Nagy Ágnes: A visszajáró

Naplemento - Weöres Sándor: Én is világot hódítani jöttem

Naplemento - Weöres Sándor: Én is világot hódítani jöttem

Naplemento - Pilinszky János: Egy szenvedély margójára

Naplemento - Pilinszky János: Egy szenvedély margójára

Naplemento - Zene

Naplemento - Zene

Naplemento - Bodó Márton és Móré Balázs: Vége a dalnak

Naplemento - Bodó Márton és Móré Balázs: Vége a dalnak

Naplemento - Bodó Márton: Nuestro camino

Naplemento - Bodó Márton: Nuestro camino

Naplemento - József Attila: Karóval jöttél

Naplemento - József Attila: Karóval jöttél

Naplemento - Robert Burns: Akarsz -e Indiákba jönni Marym?

Naplemento - Robert Burns: Akarsz -e Indiákba jönni Marym?

Naplemento - Pilinszky János: Tilos csillagon

Naplemento - Pilinszky János: Tilos csillagon

Naplemento - Bodó Márton: Ablakaim

Naplemento - Bodó Márton: Ablakaim

Naplemento - József Attila: Óda - mellékdal (koncertfelvétel)

Naplemento - József Attila: Óda - mellékdal (koncertfelvétel)

Naplemento - Berzsenyi Dániel: Osztályrészem

Naplemento - Berzsenyi Dániel: Osztályrészem

Naplemento - Guillame de Machaut és Petri György: Két rondó

Naplemento - Guillame de Machaut és Petri György: Két rondó

Naplemento - Kányádi Sándor: Gyermekkor

Naplemento - Kányádi Sándor: Gyermekkor

Naplemento - József Attila: Várlak

Naplemento - József Attila: Várlak

Naplemento - Vörösmarty Mihály: Pipiske

Naplemento - Vörösmarty Mihály: Pipiske

Naplemento - Kosztolányi Dezső: Mostan színes tintákról álmodom

Naplemento - Kosztolányi Dezső: Mostan színes tintákról álmodom

Naplemento - Bodó Márton: Pirkadat

Naplemento - Bodó Márton: Pirkadat

Naplemento - Zrínyi Miklós: Idő és hírnév

Naplemento - Zrínyi Miklós: Idő és hírnév

Naplemento - Shakespeare: 75. szonett

Naplemento - Shakespeare: 75. szonett

Naplemento - Arany János: A kalapom cilinder

Naplemento - Arany János: A kalapom cilinder

Naplemento - Heinrich Heine és ismeretlen arab szerző: A dal

Naplemento - Heinrich Heine és ismeretlen arab szerző: A dal

Naplemento - Szabó Lőrinc: Játszani

Naplemento - Szabó Lőrinc: Játszani