Typed lambda calculi and applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1995
|
| Series: | Lecture notes in computer science
902 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VIII, 442 S. |
| ISBN: | 354059048X 038759048X |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010029008 | ||
| 003 | DE-604 | ||
| 005 | 20080606 | ||
| 007 | t| | ||
| 008 | 950130s1995 gw |||| 10||| eng d | ||
| 016 | 7 | |a 943332206 |2 DE-101 | |
| 020 | |a 354059048X |9 3-540-59048-X | ||
| 020 | |a 038759048X |9 0-387-59048-X | ||
| 035 | |a (OCoLC)32014143 | ||
| 035 | |a (DE-599)BVBBV010029008 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-19 |a DE-20 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA9.5 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a DAT 544f |2 stub | ||
| 245 | 1 | 0 | |a Typed lambda calculi and applications |b Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings |c Mariangiola Dezani-Ciancaglini ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1995 | |
| 300 | |a VIII, 442 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 902 | |
| 650 | 4 | |a Lambda-calcul - Congrès | |
| 650 | 7 | |a Lambda-calcul |2 ram | |
| 650 | 7 | |a Lambda-calculus |2 gtt | |
| 650 | 7 | |a Logica matematica |2 larpcal | |
| 650 | 7 | |a Programacao de computadores |2 larpcal | |
| 650 | 7 | |a lambda calcul typé |2 inriac | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a sémantique |2 inriac | |
| 650 | 7 | |a théorie démonstration |2 inriac | |
| 650 | 7 | |a théorie type |2 inriac | |
| 650 | 4 | |a Lambda calculus |v Congresses | |
| 650 | 0 | 7 | |a Typisierter Lambda-Kalkül |0 (DE-588)4270792-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Edinburgh |2 gnd-content | |
| 689 | 0 | 0 | |a Typisierter Lambda-Kalkül |0 (DE-588)4270792-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Dezani-Ciancaglini, Mariangiola |e Sonstige |4 oth | |
| 711 | 2 | |a International Conference on Typed Lambda Calculi and Applications |n 2 |d 1995 |c Edinburgh |j Sonstige |0 (DE-588)2143456-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 902 |w (DE-604)BV000000607 |9 902 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006650579&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006650579 | |
Record in the Search Index
| _version_ | 1820868258694168576 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
COMPARING
A-CALCULUS
TRANSLATIONS
IN
SHARING
GRAPHS
A.
ASPERTI,
C.
LANEVE
.
1
EXTENSIONS
OF
PURE
TYPE
SYSTEMS
G.
BARTHE
.
16
A
MODEL
FOR
FORMAL
PARAMETRIC
POLYMORPHISM:
A
PER
INTERPRE
TATION
FOR
SYSTEM
PT
R.
BELLUCCI,
M.
ABADI,
P.-L.
CUNEN
.
32
A
REALIZATION
OF
THE
NEGATIVE
INTERPRETATION
OF
THE
AXIOM
OF
CHOICE
S.
BERARDI,
M.
BEZEM,
T.
COQUAND
.
47
USING
SUBTYPING
IN
PROGRAM
OPTIMIZATION
S.
BERARDI,
L.
BOERIO
.
63
WHAT
IS
A
CATEGORICAL
MODEL
OF
INTUITIONISTIC
LINEAR
LOGIC?
G.M.
BIERMAN
.
78
AN
EXPLICIT
ETA
REWRITE
RULE
D.
BRIAUD
.
94
EXTRACTING
TEXT
FROM
PROOFS
7.
COSCOY,
G.
KAHN,
L.
THERY
.
109
HIGHER-ORDER
ABSTRACT
SYNTAX
IN
COQ
J.
DESPEYROUX,
A.
FELTY,
A.
HIRSCHOWITZ
.124
EXPANDING
EXTENSIONAL
POLYMORPHISM
R.
DI
COSMO,
A.
PIPERNO
.
139
LAMBDA-CALCULUS,
COMBINATORS
AND
THE
COMPREHENSION
SCHEME
G.
DOWEK
.
154
/JRJ-EQUALITY
FOR
COPRODUCTS
N.
GHANI
.
171
TYPED
OPERATIONAL
SEMANTICS
H.
GOGUEN
.
186
A
SIMPLE
CALCULUS
OF
EXCEPTION
HANDLING
P.
DE
GROOTE
.
201
A
SIMPLE
MODEL
FOR
QUOTIENT
TYPES
M.
HOFMANN
.
216
VIII
UNTYPED
A-CALCULUS
WITH
RELATIVE
TYPING
M.R.
HOLMES
.
235
FINAL
SEMANTICS
FOR
UNTYPED
A-CALCULUS
F.
HONSELL,
M.
LENISA
.
249
A
SIMPLIFICATION
OF
GIRARD
'
S
PARADOX
A.
J.C.
HURKENS
.
266
BASIC
PROPERTIES
OF
DATA
TYPES
WITH
INEQUATIONAL
REFINEMENTS
H.
KONDOH
.
279
DECIDABLE
PROPERTIES
OF
INTERSECTION
TYPE
SYSTEMS
T.
KURATA,
M.
TAKAHASHI
.
297
TERMINATION
PROOF
OF
TERM
REWRITING
SYSTEM
WITH
THE
MULTISET
PATH
ORDERING.
A
COMPLETE
DEVELOPMENT
IN
THE
SYSTEM
COQ
F.
LECLERC
.
312
TYPED
A-CALCULI
WITH
EXPLICIT
SUBSTITUTIONS
MAY
NOT
TERMINATE
P.A.
MELLIES
.
328
ON
EQUIVALENCE
CLASSES
OF
INTERPOLATION
EQUATIONS
V.
PADOVANI
.
335
STRICT
FUNCTIONALS
FOR
TERMINATION
PROOFS
J.
VAN
DE
POL,
H.
SCHWICHTENBERG
.
350
A
VERIFIED
TYPECHECKER
R.
POLLACK
.
365
CATEGORICAL
SEMANTICS
OF
THE
CALL-BY-VALUE
A-CALCULUS
A.
PRAVATO,
S.
RONCHI
DELLA
ROCCA,
L.
ROVERSI
.
381
A
FULLY
ABSTRACT
TRANSLATION
BETWEEN
A
A-CALCULUS
WITH
REFERENCE
TYPES
AND
STANDARD
ML
E.
RITTER,
A.M.
PITTS
.
397
CATEGORICAL
COMPLETENESS
RESULTS
FOR
THE
SIMPLY-TYPED
A-CALCULUS
A.K.
SIMPSON
.
414
THIRD-ORDER
MATCHING
IN
THE
PRESENCE
OF
TYPE
CONSTRUCTORS
J.
SPRINGMTVELD
.
428
AUTHOR
INDEX
.
443 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010029008 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.5 |
| callnumber-search | QA9.5 |
| callnumber-sort | QA 19.5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 120 |
| classification_tum | DAT 544f |
| ctrlnum | (OCoLC)32014143 (DE-599)BVBBV010029008 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010029008</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080606</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950130s1995 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">943332206</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354059048X</subfield><subfield code="9">3-540-59048-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">038759048X</subfield><subfield code="9">0-387-59048-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)32014143</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010029008</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 544f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Typed lambda calculi and applications</subfield><subfield code="b">Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings</subfield><subfield code="c">Mariangiola Dezani-Ciancaglini ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 442 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">902</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Lambda-calcul - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lambda-calcul</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lambda-calculus</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica matematica</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programacao de computadores</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">lambda calcul typé</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">lambda calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie démonstration</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie type</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Lambda calculus</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Typisierter Lambda-Kalkül</subfield><subfield code="0">(DE-588)4270792-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1995</subfield><subfield code="z">Edinburgh</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Typisierter Lambda-Kalkül</subfield><subfield code="0">(DE-588)4270792-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dezani-Ciancaglini, Mariangiola</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Typed Lambda Calculi and Applications</subfield><subfield code="n">2</subfield><subfield code="d">1995</subfield><subfield code="c">Edinburgh</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2143456-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">902</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">902</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006650579&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006650579</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Edinburgh gnd-content |
| genre_facet | Konferenzschrift 1995 Edinburgh |
| id | DE-604.BV010029008 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:21:30Z |
| institution | BVB |
| institution_GND | (DE-588)2143456-6 |
| isbn | 354059048X 038759048X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006650579 |
| oclc_num | 32014143 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-83 DE-11 DE-188 DE-706 |
| physical | VIII, 442 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Typed lambda calculi and applications Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings Mariangiola Dezani-Ciancaglini ... (eds.) Berlin [u.a.] Springer 1995 VIII, 442 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 902 Lambda-calcul - Congrès Lambda-calcul ram Lambda-calculus gtt Logica matematica larpcal Programacao de computadores larpcal lambda calcul typé inriac lambda calcul inriac réécriture inriac sémantique inriac théorie démonstration inriac théorie type inriac Lambda calculus Congresses Typisierter Lambda-Kalkül (DE-588)4270792-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Edinburgh gnd-content Typisierter Lambda-Kalkül (DE-588)4270792-4 s DE-604 Dezani-Ciancaglini, Mariangiola Sonstige oth International Conference on Typed Lambda Calculi and Applications 2 1995 Edinburgh Sonstige (DE-588)2143456-6 oth Lecture notes in computer science 902 (DE-604)BV000000607 902 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006650579&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Typed lambda calculi and applications Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings Lecture notes in computer science Lambda-calcul - Congrès Lambda-calcul ram Lambda-calculus gtt Logica matematica larpcal Programacao de computadores larpcal lambda calcul typé inriac lambda calcul inriac réécriture inriac sémantique inriac théorie démonstration inriac théorie type inriac Lambda calculus Congresses Typisierter Lambda-Kalkül (DE-588)4270792-4 gnd |
| subject_GND | (DE-588)4270792-4 (DE-588)1071861417 |
| title | Typed lambda calculi and applications Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings |
| title_auth | Typed lambda calculi and applications Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings |
| title_exact_search | Typed lambda calculi and applications Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings |
| title_full | Typed lambda calculi and applications Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings Mariangiola Dezani-Ciancaglini ... (eds.) |
| title_fullStr | Typed lambda calculi and applications Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings Mariangiola Dezani-Ciancaglini ... (eds.) |
| title_full_unstemmed | Typed lambda calculi and applications Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings Mariangiola Dezani-Ciancaglini ... (eds.) |
| title_short | Typed lambda calculi and applications |
| title_sort | typed lambda calculi and applications second international conference on typed lambda calculi and applications tlca 95 edinburgh united kingdom april 10 12 1995 proceedings |
| title_sub | Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings |
| topic | Lambda-calcul - Congrès Lambda-calcul ram Lambda-calculus gtt Logica matematica larpcal Programacao de computadores larpcal lambda calcul typé inriac lambda calcul inriac réécriture inriac sémantique inriac théorie démonstration inriac théorie type inriac Lambda calculus Congresses Typisierter Lambda-Kalkül (DE-588)4270792-4 gnd |
| topic_facet | Lambda-calcul - Congrès Lambda-calcul Lambda-calculus Logica matematica Programacao de computadores lambda calcul typé lambda calcul réécriture sémantique théorie démonstration théorie type Lambda calculus Congresses Typisierter Lambda-Kalkül Konferenzschrift 1995 Edinburgh |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006650579&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT dezaniciancaglinimariangiola typedlambdacalculiandapplicationssecondinternationalconferenceontypedlambdacalculiandapplicationstlca95edinburghunitedkingdomapril10121995proceedings AT internationalconferenceontypedlambdacalculiandapplicationsedinburgh typedlambdacalculiandapplicationssecondinternationalconferenceontypedlambdacalculiandapplicationstlca95edinburghunitedkingdomapril10121995proceedings |