Home
Portal Home
수학연구소
수학도서관
BK21
금융수학 연계전공
IMDARC
QSMS
Sign In
English
한국어
global navigaion menu / 글로벌 네비게이션 메뉴
도서관 안내
도서관 소개
도서관 이용안내
도서관 현황
담당자 안내
찾아오시는 길
신착도서
신착도서
이전 신착도서
자료검색
검색안내
소장자료 검색
Research Guide
도서관 서비스
E-book 이용안내
게시판
도서관 공지사항
FAQ
전자게시판
목록
등록
기증도서
기증도서 목록
Articles
341
Sign Up
Sign In...
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)
566
ISBN
9781139032636
Author
Henk Barendregt, Wil Dekkers, Richard Statman
Publisher
Cambridge University Press
DOI-based URL
http://dx.doi.org/10.1017/CBO9781139032636
I want to
+-+189405203_400.jpg (9.6KB)(177)
List
Views
Votes
Blames
Date
Last Update
Notice
이용방법
Algorithms and Complexity in Mathematics, Epistemology, and Science : Proceedings of 2015 and 2016 ACMES Conferences
SYMMETRIZATION IN ANALYSIS.
New Developments in the Analysis of Nonlocal Operators : AMS Special Session on New Developments in the Analysis of Nonlocal Operators, October 28-30, 2016, University of St. Thomas, Minneapolis, Minnesota
Accuracy of Mathematical Models : Dimension Reduction, Homogenization, and Simplification
The Structure of Groups with a Quasiconvex Hierarchy : (AMS-209)
SPECTRAL SPACES.
Mathematical Theory of Scattering Resonances
Basic Representation Theory of Algebras
Invitation to Nonlinear Algebra
Unitary Representations of Groups, Duals, and Characters
BELLMAN FUNCTION TECHNIQUE IN HARMONIC ANALYSIS.
MATHEMATICS OF THE BOND MARKET: A LEVY PROCESSES APPROACH.
Algebraic Geometry Codes
Jordan Triple Systems in Complex and Functional Analysis
Complex Analysis and Spectral Theory : A Conference in Celebration of Thomas Ransford's 60th Birthday: May 21-25, 2018, Laval University, Quebec, Canada
Topological Phases of Matter and Quantum Computation
Dynamical Systems and Random Processes : Carolina Dynamics Symposium, April 13-15, 2018, Agnes Scott College, Decatur, Georgia
Equivariant Topology and Derived Algebra
Principles of Algebraic Geometry
Hopf Algebras and Root Systems
First Page
1
2
3
4
5
6
7
8
9
10
Last Page
Subject+Content
Subject
Content
Comment
User Name
Nick Name
User ID
Tag
Author
DOI-based URL
Cancel
도서관 서비스
E-book 이용안내
로그인폼
User ID
Password
Keep me signed in.
Sign In
Sign Up
Find Account Info