Prof. Toguinha - apanágio

(42)

Prof. Toguinha - anatocismo

(46)

Prof. Toguinha - resilição

(1:38)

Prof. Toguinha - bínubo

(1:12)

Applied Category Theory. Chapter 2, lecture 1 (Spivak)

(48:49)

Applied Category Theory. Chapter 2, lecture 2 (Fong)

(50:47)

Applied Category Theory. Chapter 1, lecture 2 (Fong)

(53:51)

Thorsten Altenkirch - 1/2 Towards a Syntax for Cubical Type Theory

(1:17:33)

Applied Category Theory. Chapter 1, lecture 1 (Spivak)

(50:45)

2022 Workshop on Polynomial Functors: Day 1

(4:7:35)

Prof. Toguinha - perempção

(54)

Prof. Toguinha - mutatis mutandis

(53)

Prof. Toguinha - DESCAMINHO

(1:)

Prof. Toguinha - exequatur

(1:9)

Prof. Toguinha - esbulho

(43)

Prof. Toguinha - setença de pronúncia

(1:13)

Prof. Toguinha - celeridade

(36)

Prof. Toguinha - judicante

(1:14)

Prof. Toguinha - comarca

(43)

Prof. Toguinha - contrafé

(59)

Prof. Toguinha - codicilo

(1:2)

Prof. Toguinha - ENTRÂNCIA

(1:14)

Prof. Toguinha - repristinação

(42)

Prof. Toguinha - Impugnar

(1:3)

Prof. Toguinha - querelante

(1:7)

Prof. Toguinha - Celeridade

(37)

Prof. Toguinha - accipiens

(1:26)