fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

by Luke Ong

Logic designSymbolic and mathematical LogicComputer scienceData processingAlgebra
0.0
Open Library
Open Library

Themes & subjects

Logic designSymbolic and mathematical LogicComputer scienceData processingAlgebraElectronic data processing

Author

Luke Ong

Pages

260

Read time

≈ 7h

Editions

2

Language

English

Publisher

Springer

ISBN

9783642216923

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Job scheduling strategies for parallel processing

Computer capacity · Congresses

Job scheduling strategies for parallel processing

JSSPP'99 (1999 San Juan, P.R.)

1995

Digital Design

Design and construction · Digital electronics

Digital Design

John F. Wakerly

1990

Evaluation of Novel Approaches to Software Engineering

Information Systems · Software engineering

Evaluation of Novel Approaches to Software Engineering

Leszek A. Maciaszek

2011

Information and Communication Technologies in Education, Research, and Industrial Applications

Information technology · Educational technology

Information and Communication Technologies in Education, Research, and Industrial Applications

Vadim Ermolayev

2013

Reachability Problems

Computer simulation · Computers

Reachability Problems

Parosh Aziz Abdulla

2010

Computer Engineering and Technology

Processor Architectures · Performance and Reliability

Computer Engineering and Technology

Weixia Xu

2013

Membrane Computing

Biocomputers · Software engineering

Membrane Computing

Marian Gheorghe

2012

Programming in Prolog

Prolog (Computer program language) · Computer science

Programming in Prolog

William F. Clocksin

1981

Logical Foundations of Computer Science

Mathematical Logic and Formal Languages · Symbolic and mathematical Logic

Logical Foundations of Computer Science

Sergei Artemov

2007

Foundations of Probabilistic Logic Programming

Logic programming · Machine theory

Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi

2018

Language and Automata Theory and Applications

Mathematical Logic and Formal Languages · Algorithm Analysis and Problem Complexity

Language and Automata Theory and Applications

Adrian-Horia Dediu

2012

VHDL for logic synthesis

Logic design · VHDL (Computer hardware description language)

VHDL for logic synthesis

Andrew Rushton

1995

Logic and computer design fundamentals

Electronic digital computers · Circuits

Logic and computer design fundamentals

M. Morris Mano

2000

Digital logic design

Digital electronics · Logic design

Digital logic design

B. Holdsworth

1982

Tractatus logico-philosophicus

Analysis (Philosophy) · Language

Tractatus logico-philosophicus

Ludwig Wittgenstein

1921

An Investigation of the Laws of Thought (Barnes & Noble)

Symbolic and mathematical Logic · Thought and thinking

An Investigation of the Laws of Thought (Barnes & Noble)

George Boole

1854

Algèbre de la logique

Algebraic logic · Symbolic and mathematical Logic

Algèbre de la logique

Louis Couturat

1905

The Game of Logic

Symbolic and mathematical Logic · Logic

The Game of Logic

Lewis Carroll

1886