Dependent types and explicit substitutions [microform] / Cesar Munoz (ICASE report ; no. 99-43) ([NASA contractor report] ; NASA/CR-1999-209722)

Dependent types and explicit substitutions [microform] / Cesar Munoz

(ICASE report ; no. 99-43) ([NASA contractor report] ; NASA/CR-1999-209722)

Notes on use

Note (General)：: Shipping list no.: 2000-0475-MPhysical description for original version: 1 v

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: Dependent types and explicit substitutions [microform] / Cesar Munoz
Series Title: ICASE report ; no. 99-43
[NASA contractor report] ; NASA/CR-1999-209722
Title Heading: NASA contractor report ; NASA CR-209722
Author Heading: Munoz, Cesar
Institute for Computer Applications in Science and Engineering
Publication Date (W3CDTF): 1999
Extent: microfiche
Size: 11 × 15 cm
Place of Publication (Country Code): US
Text Language Code: eng
Note (Material Type): [microform]
Subject Heading: Dependent variables
Functions (Mathematics)
Calculus
Note (General): Shipping list no.: 2000-0475-M
Physical description for original version: 1 v
Note (Original Version): 原資料の出版事項: Hampton, VA ; Springfield, Va. : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center : National Technical Information Service, distributor, [1999]
SUPTDOC番号: NAS 1.26: 209722
GPO管理番号: 0830-H-14 (MF)
Holding library: 国立国会図書館
Call No.: YCA-NAS 1.26:209722
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006632188
http://id.ndl.go.jp/bib/000006632188
OCLC No.: 43957894
https://www.worldcat.org/oclc/43957894
Bibliographic Record Category (NDL): 281