Joinet, Jean-Baptiste
VIAF ID: 42165369 ( Personal )
Permalink: http://viaf.org/viaf/42165369
Preferred Forms
- 200 _ | ‡a Joinet ‡b Jean-Baptiste
-
- 100 1 _ ‡a Joinet, Jean-Baptiste
- 100 1 _ ‡a Joinet, Jean-Baptiste
- 100 1 _ ‡a Joinet, Jean-Baptiste
- 100 1 _ ‡a Joinet, Jean-Baptiste
5xx's: Related Names (2)
- 511 2 _ ‡a Institut de recherches philosophiques de Lyon
- 511 2 _ ‡a Université Jean Moulin (Lyon)
Works
Title | Sources |
---|---|
Abstraction and Classification : from Indiscernibility to Types | |
AN ANALYSIS OF CLASSICAL SEQUENT CALCULUS NORMALIZATION THROUGH LINEAR LOGIC. | |
An archaeology of the logic of sense : arithmetic and content in the process of mathematisation of logic in the nineteenth century. | |
Une archéologie de la logique du sens : arithmétique et contenu dans le processus de mathématisation de la logique au XIXe siècle | |
Contrôle du calcul et limites du sens : fonctions, computation et types de G. Frege à A.Church | |
The dynamical status of axioms : from proofs to models. | |
ETUDE DE LA NORMALISATION DU CALCUL DES SEQUENTS CLASSIQUE A TRAVERS LA LOGIQUE LINEAIRE | |
Une exégèse de la syntaxe transcendantale. | |
An exegesis of transcendental syntax : A journey into the logical machinery | |
History of the Ideas and Arguments Formulated Around the Thesis of Linguistic Motivation. Logico-Epistemological Analysis. | |
Logique, dynamique et cognition. - | |
Logique, langage, sciences, philosophie | |
The metamorphosis of constructivity in logic : an epistemological study of the constructivization of classical logic in the light of the proofs-as-programs correspondence | |
On the empirical limitations on computation : computability, complexity and physics. | |
Outline of a multidisciplinary geometric-algebraic duality : isbell duality. | |
Ouvrir la logique au monde philosophie et mathématique de l'interaction | |
Le statut dynamique des axiomes : des preuves aux modèles | |
Sur les limites empiriques du calcul : calculabilité, complexité et physique |