Intuitionistic type theory

Formal sciences
Theoretical computer science
Programming language theory
Type theory

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 3 of 4

Quantum Chemistry: Lecture Series

Series covers spherical coordinates, harmonics, Legendre polynomials, and angular momentum.

Collision Kinetics: Theory and Applications

Covers the theory and applications of collision kinetics in understanding molecular interactions.

Thermal Bridge Analysis: Materials and Conditions

Explores thermal bridge analysis, material properties, and boundary conditions for building insulation.

Multi-Regional Input Output Analysis: EXIOBASE 3

Covers the computation of Economy-Wide Material Flow Analysis for Switzerland using EXIOBASE 3.

Introduction to Transport Phenomena: Bernoulli's Equation

Covers Bernoulli's equation and its applications in fluid flow problems, including continuity, friction factors, and practical examples.

Symmetry Operations in Quantum Mechanics

Explores symmetry operations in quantum mechanics, emphasizing the preservation of state properties.

Instability of a Jet: Deformation and Drops

Explores the instability of a jet, focusing on deformation and breakup into drops, with applications in industrial processes and dynamics of water surface waves.

Matrix to Density Operator

Explains the transformation from a matrix to the density operator in quantum physics.

Crypto Wallet for DeFi: MetaMask

Covers MetaMask, a crypto wallet for blockchain apps, emphasizing wallet security and account protection.

Displacement Field by Point Forces

Explores solving displacement field by point forces using Green's functions and integration process to obtain total solution.