BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:8415@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20140328T140000
DTEND;TZID=Europe/Paris:20140328T150000
DTSTAMP:20241120T210406Z
URL:https://www.i2m.univ-amu.fr/evenements/finite-vector-spaces-as-model-o
 f-simply-typed-lambda-calculi/
SUMMARY:Benoît Valiron (PPS\, Université Paris-Diderot): Finite Vector Sp
 aces as Model of Simply-Typed Lambda-Calculi
DESCRIPTION:Benoît Valiron: In this paper we use finite vector spaces (fin
 ite dimension\, over finite fields) as a non-standard computational model 
 model of linear logic. We first define a simple\, finite PCF-like lambda-c
 alculus with booleans\, and then we discuss two finite models\, one based 
 on finite sets and the other on finite vector spaces. The first model is s
 hown to be fully complete with respect to the operational semantics of the
  language. The second model is not complete\, but we develop an algebraic 
 extension of the finite lambda calculus that recovers completeness. The re
 lationship between the two semantics is described\, and several examples b
 ased on Church numerals are presented.\n\n
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Benoit_Valiron.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20131027T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR