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

logo

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

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


이 게시물을
  • +-+189405203_400.jpg (9.6KB)(197)
목록
조회 수 추천 수 비추천 수 날짜 최근 수정일
공지 이용방법 file
Contributions in Algebra and Algebraic Geometry
Automorphisms of Riemann Surfaces, Subgroups of Mapping Class Groups and Related Topics
Tensor Categories and Hopf Algebras
Geometric Relativity
ASYMPTOTIC ANALYSIS OF RANDOM WALKS: LIGHT-TAILED DISTRIBUTIONS; TRANS. BY V.V. ULYANOV.
Jordan Structures in Lie Algebras
Ergodic Dynamics : From Basic Theory to Applications
Differential Equations, Mathematical Physics, and Applications : Selim Grigorievich Krein Centennial
Hyperbolic Knot Theory
Unitary Representations of Groups, Duals, and Characters
Horizons of Fractal Geometry and Complex Dimensions
Local Operators in Integrable Models I
One-Dimensional Ergodic Schrödinger Operators
Amenability of Discrete Groups by Examples
SINGULARLY PERTURBED METHODS FOR NONLINEAR ELLIPTIC PROBLEMS.
Essentials of Integration Theory for Analysis
Using the Borsuk-Ulam Theorem : Lectures on Topological Methods in Combinatorics and Geometry
Introduction to Arithmetic Groups
Mathematical Theory of Scattering Resonances
The Dirichlet Space and Related Function Spaces
첫 페이지 1 2 3 4 5 6 7 8 9 10 끝 페이지
취소

도서관 서비스

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

로그인

로그인폼

로그인 유지

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