Type Theory Forall
Pedro Abreu
Type Theory Forall is a podcast about Type Theory and Programming Language research in general. We interview relevant people in our field.
Podcasts Similar to Type Theory Forall
A Vygotsky Podcast (89.02%)
Anthony Barra
It's All About the Learning (86.96%)
None
Education Bookcast (86.3%)
Stanislaw Pstrokonski
New Books in Mathematics (86.2%)
Marshall Poe
Grammar and Writing Advice (85.97%)
Scribendi
TravTalks: Opinions, Sports, and Fun (85.92%)
Travis Martin
Atypical Blabber (85.86%)
Art from ATP
Theory of Knowledge: An Alternative Approach (85.78%)
John Rick Butler
Conversations on online learning (85.65%)
Digital Support Partnership
iPodder Blog (85.61%)
None
Navigating Systems DC (85.59%)
navigatingsystemsdc
Practice As Research (85.58%)
Nicole Brown
Using My Lessons Learned the Hard Way to Inform Teaching in the 21st Century (85.53%)
Dr. Howard Slepkov
TPS Best Science (85.5%)
Coretta Hunter
Yes Sir, Hey Cher! (85.48%)
Dennis & Mark
The Learning Development Project (85.42%)
LDProject
Scalar Learning Podcast (85.36%)
Huzefa Kapadia
EDCrocks Podcast (85.33%)
André Hedlund
Exploring distance time graphs - for iBooks (85.31%)
The Open University
Beyond Your Research Degree (85.31%)
beyondyourresearchdegree
Courses at Harker (85.03%)
Harker Podcast Network
Mathematics Teacher Educator Podcast (85.01%)
Eva Thanheiser
K12Online08 Audio Channel (84.97%)
K-12 Online Conference Conveners and Presenters
The Thesis Whisperer (84.92%)
None
WorldCALL 3 (84.88%)
Marcel Van Amelsvoort
R, D and the In-betweens (84.85%)
rdandtheinbetweens
Benjamin L. Stewart (84.75%)
Benjamin L. Stewart
The Professor Podcast with Ruth and Claire (84.55%)
RCT-audio
K12Online08 Video Channel (84.55%)
K-12 Online Conference Conveners and Presenters
Intentional Teaching (84.54%)
Derek Bruff
Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas (84.44%)
Sean Carroll | Wondery
Teachers Talking Teaching (84.42%)
CatFish Education
The Cerebro Series (84.38%)
Instructional Designers
insideQuantum (84.37%)
insideQuantum
The Ramsey Theory Podcast: No Strangers At This Party (84.17%)
Veselin Jungic
Teacher Lovely Faithful (84.0%)
Faitful Pena
Foundations of Pure Mathematics (83.98%)
The University of Nottingham
When The Scientist Presents (83.96%)
None
Alex McLean (83.96%)
None
Course of Mind (83.95%)
ISTE
NBN Seminar (83.9%)
Marshall Poe
New Books in Systems and Cybernetics (83.88%)
Marshall Poe
Educational Technology (83.87%)
Ellen and Technology
Restless Device (83.81%)
Dave Unger
Reframing History (83.76%)
American Association for State and Local History
IE Wow Room | Interview with Martin Boehm (83.7%)
Artificial Ally
Mathematical language - for iBooks (83.69%)
The Open University
Learning Lights - The Instructional Design, eLearning, and Training Podcast by Shafali Anand (83.64%)
Shafali Anand
Perfect America (83.64%)
None
Redesigning School (83.55%)
Terry Dubow
Materials (83.51%)
Castillo Erika
Stephen's Web ~ OLDaily (83.51%)
None
Peer Assisted Learning (PAL) Groups : College Group Tutoring and Study Review Groups (83.5%)
David Arendale
MCMP – Metaphilosophy (83.5%)
MCMP Team
MCMP (83.49%)
MCMP Team
LIMA podcast (83.48%)
LIMA
Brain Inspired (83.39%)
Paul Middlebrooks
Meeting Street (83.39%)
Cogut Institute for the Humanities
Physics Alive (83.37%)
Brad Moser
SHAPE Shorts Podcast (83.34%)
SHAPE Shifters Education Consulting
blog-efl (83.33%)
Graham Stanley
The social in social science - for iBooks (83.32%)
The Open University
Adventures in Language (83.3%)
Mango Languages
Teaching Beyond the Podium Podcast Series (83.22%)
Center for Teaching Excellence at UF
All Things Cognition (83.21%)
Psychonomic Society
In the Classroom with Stan Skrabut (83.19%)
Stan Skrabut
Teaching in Higher Ed (83.17%)
Bonni Stachowiak
First order differential equations - for iBooks (83.13%)
The Open University
Hello World (83.13%)
Hello World
naaru (83.12%)
naaru
E-Learning Queen (83.12%)
E-Learning Queen
RWM MACBA (83.08%)
Macba
Strachey 100: an Oxford Computing Pioneer (83.08%)
Oxford University
New Thinking: Advances in the Study of Human Cognitive Evolution (82.99%)
Oxford University
The Learning Scientists Podcast (82.98%)
Learning Scientists
From Fish To Philosopher (82.97%)
Thomas Elwood
Math Ed Podcast (82.9%)
Samuel Otten
Philosophical Trials (82.89%)
Tedy Nenu
Busker Baldini Podcast (82.85%)
Jeremy Nance
Critical Technology (82.85%)
KMDI
Concrete Causation (82.83%)
Roland Pöllinger
Discussions on Writing and Rhetoric (82.81%)
Meeghan Faulconer and Nikolas Gardiakos
A Prime Factor | Raising A Mathematician Foundation (82.8%)
RAM Foundation
Comprehensive Blogs (82.68%)
None
K12Online07 Audio Podcasts (82.67%)
Presenters from the 2007 K-12 Online Conference
Project PALM (82.62%)
CHELO TANGAN
ProEssayHelp (82.62%)
None
Reading Success (82.59%)
Teaching Ideas and Tips
segfault (82.58%)
Soham Sankaran
The Librarian's Guide to Teaching (82.57%)
Amanda Piekart
The Rube Goldberg Machine of Semiotics and Symbols Podcast (82.56%)
Rube Goldberg
Spoken Words - Audio Articles About Life and Living and Such (82.54%)
Spoken Words
Thuvia, Maid of Mars (82.54%)
None
Eye on Transformation (82.52%)
None
Coloured Souls (82.51%)
Jamie Gladstone
Many Minds (82.49%)
Kensy Cooperrider – Diverse Intelligences Summer Institute
Designing SoTL Projects (82.49%)
Dr Nathalie Tasler
Scholarly Communication (82.46%)
New Books Network
Visionaries (82.43%)
visionaries