0:00

Parametric Quantifiers for Dependent Type Theory

Name: Parametric Quantifiers for Dependent Type Theory
Uploaded: 2026-05-31T16:50:27.457Z
Channel: ICFP Video
Description: Download Parametric Quantifiers for Dependent Type Theory from YouTube as MP3 or MP4 for free on TubeGalore.

ICFP Video

0 views

Recently

📥 Download Options

Select Format:

Free download • No registration required • High quality

🔥 Related Videos

Parametric Quantifiers for Dependent Type Theory – Download YouTube to MP3 & MP4 | TubeGalore