skip to content
Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings Preview this item
ClosePreview this item
Checking...

Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings

Author: Masahito Hasegawa
Publisher: Berlin : Springer, [2013] ?013
Series: Lecture notes in computer science, 7941; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Masahito Hasegawa
ISBN: 9783642389450 3642389457
OCLC Number: 856263571
Notes: International conference proceedings.
Description: xii, 249 pages ; 24 cm.
Contents: Type-Directed Compilation in the Wild: Haskell and Core.- Proving with Side Effects.- Non-linearity as the Metric Completion of Linearity.- System Fi: A Higher-Order Polymorphic lamda-Calculus with Erasable Term-Indices.- Non-determinism, Non-termination and the Strong Normalization of System T.- Proof-Relevant Logical Relations for Name Generation.- Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics.- Realizability for Peano Arithmetic with Winning Conditions in HON Games.- The Resource Lambda Calculus Is Short-Sighted in Its Relational Model.- Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction.- Intersection Type Matching with Subtyping.- A Type-Checking Algorithm for Martin-Lof Type Theory with Subtyping Based on Normalisation by Evaluation.- Small Induction Recursion.- Generalizations of Hedberg's Theorem.- Using Models to Model-Check Recursive Schemes.- On Interaction, Continuations and Defunctionalization.- Completeness of Conversion between Reactive Programs for Ultrametric Models.- A Constructive Model of Uniform Continuity.
Series Title: Lecture notes in computer science, 7941; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: TLCA 2013
Responsibility: Masahito Hasegawa (ed.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/856263571> # Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "856263571" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1434034611#Topic/beweistheorie> ; # Beweistheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/1434034611#Topic/reduktionssystem> ; # Reduktionssystem
   schema:about <http://experiment.worldcat.org/entity/work/data/1434034611#Topic/klassische_logik> ; # Klassische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/1434034611#Topic/computer_science_mathematics> ; # Computer science--Mathematics
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/1434034611#Topic/typentheorie> ; # Typentheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/1434034611#Topic/lambda_kalkul> ; # Lambda-Kalkül
   schema:about <http://experiment.worldcat.org/entity/work/data/1434034611#Topic/typisierter_lambda_kalkul> ; # Typisierter Lambda-Kalkül
   schema:about <http://id.loc.gov/authorities/subjects/sh85074174> ; # Lambda calculus
   schema:about <http://id.worldcat.org/fast/991011> ; # Lambda calculus
   schema:alternateName "TLCA 2013" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/72235390> ; # Masahito Hasegawa
   schema:copyrightYear "2013" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/1434034611#Meeting/international_conference_on_typed_lambda_calculi_and_applications_11th_2013_eindhoven_netherlands> ; # International Conference on Typed Lambda Calculi and Applications (11th : 2013 : Eindhoven, Netherlands)
   schema:datePublished "2013" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1434034611> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1434034611#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1434034611#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1434034611#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
   schema:name "Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings"@en ;
   schema:productID "856263571" ;
   schema:workExample <http://worldcat.org/isbn/9783642389450> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/856263571> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1434034611#Meeting/international_conference_on_typed_lambda_calculi_and_applications_11th_2013_eindhoven_netherlands> # International Conference on Typed Lambda Calculi and Applications (11th : 2013 : Eindhoven, Netherlands)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1434034611#Place/eindhoven_netherlands> ; # Eindhoven, Netherlands)
   schema:name "International Conference on Typed Lambda Calculi and Applications (11th : 2013 : Eindhoven, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1434034611#Place/eindhoven_netherlands> # Eindhoven, Netherlands)
    a schema:Place ;
   schema:name "Eindhoven, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1434034611#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/856263571> ; # Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1434034611#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/856263571> ; # Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1434034611#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/856263571> ; # Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings
   schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/1434034611#Topic/typisierter_lambda_kalkul> # Typisierter Lambda-Kalkül
    a schema:Intangible ;
   schema:name "Typisierter Lambda-Kalkül"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85074174> # Lambda calculus
    a schema:Intangible ;
   schema:name "Lambda calculus"@en ;
    .

<http://id.worldcat.org/fast/872460> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://id.worldcat.org/fast/991011> # Lambda calculus
    a schema:Intangible ;
   schema:name "Lambda calculus"@en ;
    .

<http://viaf.org/viaf/72235390> # Masahito Hasegawa
    a schema:Person ;
   schema:birthDate "1970" ;
   schema:familyName "Hasegawa" ;
   schema:givenName "Masahito" ;
   schema:name "Masahito Hasegawa" ;
    .

<http://worldcat.org/isbn/9783642389450>
    a schema:ProductModel ;
   schema:isbn "3642389457" ;
   schema:isbn "9783642389450" ;
    .

<http://www.worldcat.org/title/-/oclc/856263571>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/856263571> ; # Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings
   schema:dateModified "2017-04-02" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.