Ergebnisse für: lambda and combinatory calculi

Hier findest Du Bücher, die sich mit lambda and combinatory calculi beschäftigen.

Buch Cover Logical Foundations of Computer Science

Springer International Publishing
53.49 € · Paperback

constructive mathematics and type theory homotopy type theory logic in computer science automata and automatic structures computability and randomness logical foundations of programming logical aspects of computational complexity logic programming and constraints automated deduction and interactive theorem proving domain theory logics logical foundations of database theory equational logic and term rewriting lambda and combinatory calculi categorical logic and topological semantics linear logic epistemic and temporal logics

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA in January 2016. The 27 revised full papers were carefully reviewed and selected from 46 submissions. The scope of the Sympo...

Logical Foundations of Computer Science

Springer International Publishing
53.49 € · eBook

Array
(
    [endpoint] => /products?search=lambda+and+combinatory+calculi&page=0&size=20
    [httpCode] => 200
    [curlError] => 
    [os_errno] => 0
    [primary_ip] => 144.208.215.243
    [local_ip] => 192.168.53.111
    [namelookup_time] => 0.001148
    [connect_time] => 0.519594
    [responseLength] => 5022
)