Author : Marcelo P. Fiore
Publisher : Cambridge University Press
Page : 260 pages
File Size : 39,18 MB
Release : 2004-03-25
Category : Computers
ISBN : 9780521602778
First systematic account of axiomatic categorical domain theory and functional programming.
Author : Eugenio Moggi
Publisher : Springer Science & Business Media
Page : 328 pages
File Size : 27,46 MB
Release : 1997-08-20
Category : Computers
ISBN : 9783540634553
This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997. Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.
Author : Arnold Beckmann
Publisher : Springer Science & Business Media
Page : 623 pages
File Size : 31,26 MB
Release : 2006-06-26
Category : Computers
ISBN : 3540354662
This book constitutes the refereed proceedings of the Second International Conference on Computability in Europe, CiE 2006, held in Swansea, UK, June/July 2006. The book presents 31 revised full papers together with 30 invited papers, including papers corresponding to 8 plenary talks and 6 special sessions on proofs and computation, computable analysis, challenges in complexity, foundations of programming, mathematical models of computers and hypercomputers, and Gödel centenary: Gödel's legacy for computability.
Author : Philippe de Groote
Publisher : Springer Science & Business Media
Page : 420 pages
File Size : 12,5 MB
Release : 1997-03-12
Category : Computers
ISBN : 9783540626886
This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997. The 24 revised full papers presented in the book were carefully selected from a total of 54 submissions. The book reports the main research advances achieved in the area of typed lambda calculi since the predecessor conference, held in 1995, and competently reflects the state of the art in the area.
Author : Bart Jacobs
Publisher : Springer
Page : 548 pages
File Size : 21,76 MB
Release : 2016-03-22
Category : Computers
ISBN : 3662496305
This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 31 full papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections named: types; recursion and fixed-points; verification and program analysis; automata, logic, games; probabilistic and timed systems; proof theory and lambda calculus; algorithms for infinite systems; and monads.
Author : Roberto M. Amadio
Publisher : Cambridge University Press
Page : 504 pages
File Size : 18,12 MB
Release : 1998-07-02
Category : Computers
ISBN : 0521622778
Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.
Author : Gerwin Klein
Publisher : Springer
Page : 572 pages
File Size : 38,21 MB
Release : 2014-06-28
Category : Mathematics
ISBN : 3319089706
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
Author : Michele Bugliesi
Publisher : Springer Science & Business Media
Page : 620 pages
File Size : 12,91 MB
Release : 2006-06-30
Category : Computers
ISBN : 3540359079
The two-volume set LNCS 4051 and LNCS 4052 constitutes the refereed proceedings of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, held in Venice, Italy, July 2006. In all, these volumes present more 100 papers and lectures. Volume II (4052) presents 2 invited papers and 2 additional conference tracks with 24 papers each, focusing on algorithms, automata, complexity and games as well as on security and cryptography foundation.
Author : Georg Gottlob
Publisher : Springer Science & Business Media
Page : 441 pages
File Size : 26,25 MB
Release : 1999-04-28
Category : Computers
ISBN : 3540659226
Author : Dirk van Dalen
Publisher : Springer Science & Business Media
Page : 488 pages
File Size : 46,47 MB
Release : 1997-06-18
Category : Computers
ISBN : 9783540631729
The related fields of fractal image encoding and fractal image analysis have blossomed in recent years. This book, originating from a NATO Advanced Study Institute held in 1995, presents work by leading researchers. It is developing the subjects at an introductory level, but it also has some recent and exciting results in both fields. The book contains a thorough discussion of fractal image compression and decompression, including both continuous and discrete formulations, vector space and hierarchical methods, and algorithmic optimizations. The book also discusses multifractal approaches to image analysis, segmentation, and recognition, including medical applications.
