Computational Higher-Dimensional Type Theory

Escúchalo en tu aplicación

• Podcast Index
• RSS

Episodios

Todavía no hay episodios.