Jump to main content

yr 〜
yr

Search results 6

型理論の証明論ならびに計算論的研究

型理論の証明論ならびに計算論的研究
Paper図書
寳来, 正子, 東京工業大学1997-1999<Y151-H09640248>
National Diet Library
  • Author Heading寳来, 正子

Lambda-representable functions over free structures revisited

Lambda-representable functions over free structures revisited
Paper図書
寳来, 正子, HORAI, MasakoProc. of 3rd Int. Symp. on Functional and Logic Programming1998Proc. of 3rd Int. Symp. on Functional and Logic Programmingp.1-19
Other Libraries in Japan
  • Author Heading寳来, 正子 HORAI, Masako

A primer on proofs and types

A primer on proofs and types
Paper図書
寳来, 正子, HORAI, MasakoTheories of Types and Proofs1998Theories of Types and Proofsp.1-44
Other Libraries in Japan
  • Author Heading寳来, 正子 HORAI, Masako

オートマトンの理論(共箸)

オートマトンの理論(共箸)
Paper図書
寳来, 正子, HORAI, Masako共立出版1983共立出版
Other Libraries in Japan
  • Author Heading寳来, 正子 HORAI, Masako

A tree generating system(共箸)

A tree generating system(共箸)
Paper図書
寳来, 正子, HORAI, MasakoAutomation Languages,and Programming(Nivat ed,North-Holland)1973Automation Languages,and Programming(Nivat ed,North-Holland)p.453-465
Other Libraries in Japan
  • Author Heading寳来, 正子 HORAI, Masako

Primitive transformations of regular sets and recognizable sets

Primitive transformations of regular sets and recognizable sets
Paper図書
寳来, 正子, HORAI, MasakoAutomata,Languages,and Programming1973Automata,Languages,and Programmingp.475-480
Other Libraries in Japan
  • Author Heading寳来, 正子 HORAI, Masako

Reached to the end of result.

RSS