The Resource Proof-term synthesis on dependent-type systems via explicit substitutions, Cesar Munoz, (microform)

Proof-term synthesis on dependent-type systems via explicit substitutions, Cesar Munoz, (microform)

Label
Proof-term synthesis on dependent-type systems via explicit substitutions
Title
Proof-term synthesis on dependent-type systems via explicit substitutions
Statement of responsibility
Cesar Munoz
Title variation
Proof term synthesis on dependent type systems via explicit substitutions
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
GPO
http://library.link/vocab/creatorDate
1968-
http://library.link/vocab/creatorName
Muñoz, César A.
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
Institute for Computer Applications in Science and Engineering
Series statement
  • ICASE report
  • NASA contractor report
Series volume
  • no. 99-47
  • NASA/CR-1999-209730
http://library.link/vocab/subjectName
  • Mathematical models
  • Proving
Label
Proof-term synthesis on dependent-type systems via explicit substitutions, Cesar Munoz, (microform)
Instantiates
Publication
Note
Shipping list no.: 2000-0475-M
Carrier category
microfiche
Carrier category code
  • he
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
44187316
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
1 volume
Form of item
microfiche
Generation
first generation master
Media category
microform
Media MARC source
rdamedia
Media type code
  • h
http://library.link/vocab/ext/overdrive/overdriveId
20000004585
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche
Label
Proof-term synthesis on dependent-type systems via explicit substitutions, Cesar Munoz, (microform)
Publication
Note
Shipping list no.: 2000-0475-M
Carrier category
microfiche
Carrier category code
  • he
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
44187316
Dimensions
4x6 in. or 11x15 cm.
Emulsion on film
diazo
Extent
1 volume
Form of item
microfiche
Generation
first generation master
Media category
microform
Media MARC source
rdamedia
Media type code
  • h
http://library.link/vocab/ext/overdrive/overdriveId
20000004585
Positive negative aspect
negative
http://bibfra.me/vocab/marc/reductionRatio
02
ReductionRatioRange
normal reduction
Reproduction note
Microfiche.
Specific material designation
microfiche

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...