Matches in SemOpenAlex for { <https://semopenalex.org/work/W4229803013> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4229803013 endingPage "190" @default.
- W4229803013 startingPage "189" @default.
- W4229803013 abstract "This volume contains the Proceedings of A Tutorial Workshop on Realizability Semantics and Applications. The workshop was associated to the 1999 Federated Logic Conference, held in Trento, Italy, from June 30 to July 1, 1999. There has been recently a reawaking of interest in many aspects of realizability interpretations---especially as regards semantics of type theories for constructive reasoning and semantics of programming languages. As the details of realizability can be quite technical, it seemed appropriate to have a tutorial workshop, connected to the Federated Logic Conference, aimed at offering presentations of the various aspects of realizability and directed to a wide audience, not necessarily only for the experts in the field. The Tutorial Workshop on Realizability Semantics and Applications was proposed to the 1999 Federated Logic Conference, Trento, June 29-July 12, 1999, was accepted, and is organized around several tutorial lectures on history, basic definitions and results, recent applications, connections to category theory and then offers a few contributed research talks of 30 minutes each. The Tutorial Presenters are:Ulrich Berger(LMU, München)Aurelio Carboni(Insubria, Como)Martin Hyland(Cambridge)Chih-Hao Luke Onge(Oxford)Jaap van Oosten(Utrecht)Andrew M. Pitts(Cambridge)Bernhard Reus(LMU, München) The Organizing Committee of the Workshop includes:Dana Scott(CMU, Pittsburgh)Giuseppe Rosolini(Genova)Andrew M. Pitts(Cambridge)Jaap van Oosten(Utrecht)Giuseppe Longo(ENS, Paris)Bernhard Reus(LMU, München)Dag Normann(Oslo)Lars Birkedal(CMU, Pittsburgh) The organizers wish to acknowledge support received from: Logic in Computer Science Esprit Working Group 26142 APPSEM. Gruppo Nazionale per le Strutture Algebriche, Geometriche e Applicazioni del Consiglio Nazionale della Ricerche MURST project “Metodi Costruttivi in Topologia, Algebra e Analisi dei Programmi” L Birkedal, J. van Oosten, G. Rosolini, D.S. Scott, Guest Editors" @default.
- W4229803013 created "2022-05-11" @default.
- W4229803013 creator A5018870535 @default.
- W4229803013 creator A5035439074 @default.
- W4229803013 creator A5039325039 @default.
- W4229803013 creator A5059068538 @default.
- W4229803013 date "1999-01-01" @default.
- W4229803013 modified "2023-09-26" @default.
- W4229803013 title "Preface" @default.
- W4229803013 doi "https://doi.org/10.1016/s1571-0661(05)80553-5" @default.
- W4229803013 hasPublicationYear "1999" @default.
- W4229803013 type Work @default.
- W4229803013 citedByCount "0" @default.
- W4229803013 crossrefType "journal-article" @default.
- W4229803013 hasAuthorship W4229803013A5018870535 @default.
- W4229803013 hasAuthorship W4229803013A5035439074 @default.
- W4229803013 hasAuthorship W4229803013A5039325039 @default.
- W4229803013 hasAuthorship W4229803013A5059068538 @default.
- W4229803013 hasBestOaLocation W42298030131 @default.
- W4229803013 hasConcept C154945302 @default.
- W4229803013 hasConcept C161191863 @default.
- W4229803013 hasConcept C184337299 @default.
- W4229803013 hasConcept C199360897 @default.
- W4229803013 hasConcept C2776378722 @default.
- W4229803013 hasConcept C2778701210 @default.
- W4229803013 hasConcept C2779955035 @default.
- W4229803013 hasConcept C33923547 @default.
- W4229803013 hasConcept C41008148 @default.
- W4229803013 hasConcept C42475967 @default.
- W4229803013 hasConcept C98045186 @default.
- W4229803013 hasConceptScore W4229803013C154945302 @default.
- W4229803013 hasConceptScore W4229803013C161191863 @default.
- W4229803013 hasConceptScore W4229803013C184337299 @default.
- W4229803013 hasConceptScore W4229803013C199360897 @default.
- W4229803013 hasConceptScore W4229803013C2776378722 @default.
- W4229803013 hasConceptScore W4229803013C2778701210 @default.
- W4229803013 hasConceptScore W4229803013C2779955035 @default.
- W4229803013 hasConceptScore W4229803013C33923547 @default.
- W4229803013 hasConceptScore W4229803013C41008148 @default.
- W4229803013 hasConceptScore W4229803013C42475967 @default.
- W4229803013 hasConceptScore W4229803013C98045186 @default.
- W4229803013 hasIssue "1" @default.
- W4229803013 hasLocation W42298030131 @default.
- W4229803013 hasOpenAccess W4229803013 @default.
- W4229803013 hasPrimaryLocation W42298030131 @default.
- W4229803013 hasRelatedWork W1483213041 @default.
- W4229803013 hasRelatedWork W1587224678 @default.
- W4229803013 hasRelatedWork W1778728081 @default.
- W4229803013 hasRelatedWork W2047793074 @default.
- W4229803013 hasRelatedWork W2056977125 @default.
- W4229803013 hasRelatedWork W2090686886 @default.
- W4229803013 hasRelatedWork W2724860650 @default.
- W4229803013 hasRelatedWork W27605384 @default.
- W4229803013 hasRelatedWork W288103726 @default.
- W4229803013 hasRelatedWork W1894736207 @default.
- W4229803013 hasVolume "23" @default.
- W4229803013 isParatext "false" @default.
- W4229803013 isRetracted "false" @default.
- W4229803013 workType "article" @default.