• Home
  • Portal Home
  • 수학연구소
  • 수학도서관
  • BK21
  • 금융수학 연계전공
  • IMDARC
  • QSMS
  • 로그인
  • 한국어한국어
    • English

logo

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

  • 도서관 안내
    • 도서관 소개
    • 도서관 이용안내
    • 도서관 현황
    • 담당자 안내
    • 찾아오시는 길
  • 신착도서
    • 신착도서
    • 이전 신착도서
  • 자료검색
    • 검색안내
    • 소장자료 검색
    • Research Guide
  • 도서관 서비스
    • 소장목록
    • 소장 Video Tape
    • 소장 Printprints
    • E-book 이용안내
  • 게시판
    • 도서관 공지사항
    • FAQ
    • 전자게시판
      • 목록
      • 등록
  • 기증도서
    • 기증도서 목록
print this page
글 수 308
  • 회원가입
  • 로그인...
  • 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)
366
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


이 게시물을
  • +-+189405203_400.jpg (9.6KB)(143)
목록
조회 수 추천 수 비추천 수 날짜 최근 수정일
공지 이용방법 file
FOUNDATIONS OF STABLE HOMOTOPY THEORY.
FOURIER RESTRICTION, DECOUPLING, AND APPLICATIONS.
DERIVED CATEGORIES.
TOEPLITZ MATRICES AND OPERATORS.
HIGHER CATEGORIES AND HOMOTOPICAL ALGEBRA.
THEORY OF HARDY SPACES.
Lectures on Selected Topics in Von Neumann Algebras
Geometry and Topology of Surfaces
Classification of Complex Algebraic Surfaces
Mackey 2-Functors and Mackey 2-Motives
Accuracy of Mathematical Models : Dimension Reduction, Homogenization, and Simplification
Decision Support Systems for Water Supply Systems : Smart Water System to Improve the Operation of Water Supply Systems by Using Applied Mathematics
Microlocal Analysis of Quantum Fields on Curved Spacetimes
From the Vlasov–Maxwell–Boltzmann System to Incompressible Viscous Electro-magneto-hydrodynamics : Volume 1
Function Theory and $ℓ^{p}$ Spaces
Topological Persistence in Geometry and Analysis
Introduction to Arithmetic Groups
Quantum Field Theory : Batalin-Vilkovisky Formalism and Its Applications
Advances in Representation Theory of Algebras
Characters in Low-Dimensional Topology
첫 페이지 1 2 3 4 5 6 7 8 9 10 끝 페이지
취소

도서관 서비스

  • 소장목록
  • 소장 Video Tape
  • 소장 Printprints
  • E-book 이용안내
logo
  • 개인정보 처리방침 |
  • 오시는 길
  • | 서울대학교
  • | 서울대학교 자연과학대학
COPYRIGHT ⓒ ALL RIGHT RESERVED.
관련사이트
TOP

로그인

로그인폼

로그인 유지

로그인
  • 회원가입
  • ID/PW 찾기