Kripke Semantics for Martin-L\"of's Extensional Type Theory by Steve Awodey, Florian Rabe

“…Our models interpret types of Martin-L\"of's extensional dependent type theory as sets indexed over posets or, equivalently, as fibrations over posets. …”
Get full text

Monique de Saint-Martin: uma nota biográfica by Camila Gui Rosatti, Rodrigo da Rosa Bordignon

Get full text

Martin Hägglund, This Life: Secular Faith and Spiritual Freedom by Anatoliy Denysenko

Get full text

SAINT MARTIN IN POLISH LOCAL SELF-GOVERNMENT HERALDRY by Maria Piechocka-Kłos

Subjects: “…st. martin of tours…”
Get full text

Notions of Anonymous Existence in Martin-L\"of Type Theory by Nicolai Kraus, Martín Escardó, Thierry Coquand, Thorsten Altenkirch

“…As the groupoid model of Hofmann and Streicher proves, identity proofs in intensional Martin-L\"of type theory cannot generally be shown to be unique. …”
Get full text

Don Martín Pérez de Ayala (1504-1566) by Constancio Gutiérrez

Subjects: “…martín pérez de ayala…”
Get full text

MARTIN WOLFF: CONSTITUCIÓN DEL REICH Y PROPIEDAD by Ángel M. López y López, Francisco Infante Ruiz

Subjects: “…Martin Wolff…”
Get full text

Carmen Martín Gaite. El cuarto de atrás by Toribio, Andrea

“… Reseña de Martín Gaite, Carmen (2018). El cuarto de atrás. Edición de José Teruel. …”
Get full text

Martín Blasco. La oscuridad de los colores by Mónica A. Castillo Prieto

“… Martín Blasco, escritor argentino, publicó en 2015 la novela La oscuridad de los colores, texto dirigido a un público joven-adulto, según la editorial Norma. …”
Get full text

Scrierile lui Martin Luther din perspectiva polemicii by Daniel Nițulescu

“… This article addresses the polemical aspect of Martin Luther’s controversial writings. Polemics, as well as dialectics, are as old as Antiquity, and have their origins in the disputes that were intended to find out the truth. …”
Get full text

FILOSOFÍA DE LA TECNOLOGÍA EN MARTIN HEIDEGGER by Julio César Cárdenas Arenas

“… Martin Heidegger vislumbró en el accionar de la técnica la pregunta fundamental por el Ser; se presentan aquí los elementos para plantear una filosofía de la tecnología implícita en algunos apartados de las obras de este autor; entre ellos, el disponer, el traer a la memoria, la causalidad, la producción, el pensar, el depósito y los peligros. …”
Get full text

Susceptible to dynamism, immune to stagnancy – Martine Johanna Jager by Rolika Bansal, Bruce E Spivey, Santosh G Honavar

Get full text

O ser do animal segundo Martin Heidegger by Jean Calmon Modenesi, Conrado Vasconcelos

Subjects: “…Martin Heidegger…”
Get full text

Martin Heidegger: actualidad de un pensador intempestivo by Ricardo Pinilla

Get full text

Lettre de Jean Wahl à Martin Heidegger by Ian Alexander Moore, Barbara Wahl

“…Cette lettre, publiée ici pour la première fois en français, dans sa version originale, a été envoyée par Jean Wahl à Martin Heidegger le 12 décembre 1937. Elle répond à une lettre que Heidegger avait écrite à Wahl une semaine plus tôt au sujet des thèses de Wahl dans la célèbre conférence « Subjectivité et transcendance ».[1] Dans cette conférence, qui a été décrite comme « un tournant dans l’histoire intellectuelle du XXe siècle »,[2]  Wahl s’interrogeait, entre autres, sur la mesure dans laquelle la philosophie pouvait fournir une théorie générale des intuitions d’existences particulières telles que Kierkegaard ou Nietzsche. …”
Get full text

Early medieval missionary tactics: the example of Martin and Caesarius by Alberto FERREIRO

Get full text

Martin Luther King’s Reaction to the Cuban Missile Crisis by Leonardo Campus

Subjects: Get full text

Martin Luther dan Penginjilan terhadap Orang Yahudi by Veronika Johanna Elbers

Subjects: Get full text

NMNI Interview with Prof. Dr. Martin Peter Grobusch

Get full text

Kubo-Martin-Schwinger relation for an interacting mobile impurity by Oleksandr Gamayun, Miłosz Panfil, Felipe Taha Sant'Ana

“…In this work we study the Kubo-Martin-Schwinger (KMS) relation in the Yang-Gaudin model of an interacting mobile impurity. …”
Get full text