pure type system (Q7261163)

From Wikidata
Jump to: navigation, search
form of typed lambda calculus that allows an arbitrary number of sorts and dependencies between any of these
  • generalized type system
  • PTS
  • GTS
edit
Language Label Description Also known as
English
pure type system
form of typed lambda calculus that allows an arbitrary number of sorts and dependencies between any of these
  • generalized type system
  • PTS
  • GTS

Statements

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit