Concept

Intuitionistic type theory

Related courses (33)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

CIVIL-522: Seismic engineering

This course deals with the main aspects of seismic design and assessment of buildings including conceptual design. It covers different structural design and evaluation philosophies for new and existin

ME-104: Introduction to structural mechanics

The student will acquire the basis for the analysis of static structures and deformation of simple structural elements. The focus is given to problem-solving skills in the context of engineering desig

CS-628: Interactive Theorem Proving CS

A hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code!

ME-454: Modelling and optimization of energy systems

The goal of the lecture is to present and apply techniques for the modelling and the thermo-economic optimisation of industrial process and energy systems. The lecture covers the problem statement, th

MSE-422: Advanced metallurgy

This course covers the metallurgy, processing and properties of modern high-performance metals and alloys (e.g. advanced steels, Ni-base, Ti-base, High Entropy Alloys etc.). In addition, the principle

ENV-501: Material flow analysis and resource management

This course provides the basis to understand material and energy production and consumption processes. Students learn how to develop a material flow analysis and apply it to resource management cases.

CIVIL-705: Selected Topics on Advanced Composites in Engineering Structures

The course focuses on the current investigations in the fields of fatigue and fracture of composite materials and composite structural components, like adhesively-bonded joints. Students would be able

PHYS-203: Computational physics I

Aborder, formuler et résoudre des problèmes de physique en utilisant des méthodes numériques simples. Comprendre les avantages et les limites de ces méthodes (stabilité, convergence). Illustrer différ

AR-671: The Fifth Typology

A PhD workshop and symposium on the issue of type and its use in the study, critique and practice of architecture.

PHYS-101(g): General physics : mechanics

Le but du cours de physique générale est de donner à l'étudiant les notions de base nécessaires à la compréhension des phénomènes physiques. L'objectif est atteint lorsque l'étudiant est capable de pr