Amina Doumane

Type

Thesis (1) Textual materials (1)

Type

Thesis (3) Textual materials (2)

Author

Date

Date

Collection

Collection

Keyword

removal (1) art (1) enforcement (1) thesis (1) circular mail (1) Rules (1) Surveys (1) Vision (1) Public domain (1) Proof theory (1) Programming languages (Electronic computers) (1) Lonchura (1) Land tenure (1) Hand (1) Government property (1) Art (1) Prueba, Teoría de la (1) Encuestas (1) Manos (1) Vista (1) Patrimonio público (1) Dominio público (1) Art (1) Vue (1) Logique (1) Législation (1) Enquêtes (1) Langages de programmation (1) Théorie de la démonstration (1) Capucins (oiseaux) (1)

Keyword

object (3) standardisation (2) normalisation (2) thesis (2) calculation (2) Time (2) Proof theory (2) Counting (2) Standardization (2) Standards (2) Interpretation (Phrasing, dynamics, etc.) (2) Interpretation and construction (2) Prueba, Teoría de la (2) Tiempo (2) Calcul (2) Temps (2) Normalisation (2) Logique (2) Temps (2) Normalisation (2) Théorie de la démonstration (2) Interprétation (2) Calcul (2) Logique (2) logic (2) interpretation (2) calculus (2) resolution (act) (1) removal (1) programme (1)

Documents written by Amina Doumane (1) | is about Amina Doumane (3)

On the infinitary proof theory of logics with fixed points
Amina Doumane (Jun 27, 2017)

Non-idempotent typing operators, beyond the lambda-calculus
Pierre Vial (Dec 7, 2017)
L'identité des preuves : normalisation, réseaux et séparation
Jules Chouquet (May 13, 2016)
On the Resolution Semiring
Marc Bagnol (Dec 4, 2014)