• 수학도서관
  • BK21
  • 금융수학 연계전공
  • IMDARC
  • QSMS
  • Sign In
  • EnglishEnglish
    • 한국어

logo

global navigaion menu / 글로벌 네비게이션 메뉴

  • 도서관 안내
    • 도서관 소개
    • 도서관 이용안내
    • 도서관 현황
    • 담당자 안내
    • 찾아오시는 길
  • 신착도서
    • 신착도서
    • 이전 신착도서
  • 자료검색
    • 검색안내
    • 소장자료 검색
    • Research Guide
  • 도서관 서비스
    • E-book 이용안내
  • 게시판
    • 도서관 공지사항
    • FAQ
    • 전자게시판
      • 목록
      • 등록
  • 기증도서
    • 기증도서 목록
print this page
Articles 345
  • Sign Up
  • Sign In...
  • Skin Info
  • Tag list
  • List
  • Webzine
  • Gallery

Lambda Calculus with Types

librarian
http://my.math.snu.ac.kr/board/index.php?mid=lib_D04&document_srl=726385
2015.04.07 14:06:30 (*.46.129.241)
1836
ISBN 9781139032636
Author Henk Barendregt, Wil Dekkers, Richard Statman
Publisher Cambridge University Press
DOI-based URL http://dx.doi.org/10.1017/CBO9781139032636
+-+189405203_400.jpg


I want to
  • +-+189405203_400.jpg (9.6KB)(197)
List
Views Votes Blames Date Last Update
Notice 이용방법 file
Foundations of Cryptography Volume 2
Periodic Homogenization of Elliptic Systems
A Concise Introduction to the Theory of Numbers
Topological and Ergodic Theory of Symbolic Dynamics
Crop Breeding : Bioinformatics and Preparing for Climate Change
Biomat 2015 - International Symposium On Mathematical And Computational Biology
Icons of Mathematics: An Exploration of Twenty Key Images
Advances in Elliptic Curve Cryptography
Elementary Geometry of Algebraic Curves: An Undergraduate Introduction
Handbook of Teichmüller Theory, Volume VII
Biostatistics in Public Health Using STATA
Orthogonal Polynomials in the Spectral Analysis of Markov Processes
Lambda Calculus with Types
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
Calculus of Thought : Neuromorphic Logistic Regression in Cognitive Machines
Mathematical Formulas for Industrial and Mechanical Engineering
The Theory of Information and Coding
Advances in Cryptology – CRYPTO 2021 : 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16–20, 2021, Proceedings, Part II
Handbook on Systemic Risk
Geometric Analysis
First Page 9 10 11 12 13 14 15 16 17 18 Last Page
Cancel

도서관 서비스

  • E-book 이용안내
logo
  • Privacy Policy |
  • Direction
  • | Seoul National University
  • | College of National Sciences
COPYRIGHT ⓒ ALL RIGHT RESERVED.
관련사이트
TOP

Sign In

로그인폼

Keep me signed in.

Sign In
  • Sign Up
  • Find Account Info