กำลังโหลด...
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
การอ้างอิงต่อปี
การอ้างอิงซ้ำกัน
บทความต่อไปนี้รวมอยู่ใน Scholar จำนวน
การอ้างอิงที่รวมเข้าด้วยกัน
ของบทความเหล่านี้จะนับเฉพาะบทความแรกเท่านั้น
การอ้างอิงที่รวมเข้าด้วยกัน
จำนวน "อ้างอิงโดย" นี้รวมถึงการอ้างอิงไปยังบทความต่อไปนี้ใน Scholar บทความที่ทำเครื่องหมาย
*
อาจต่างจากบทความนั้นในโปรไฟล์
เพิ่มผู้เขียนร่วม
ผู้เขียนร่วม
ติดตาม
บทความใหม่โดยผู้เขียนคนนี้
การอ้างอิงใหม่สำหรับผู้เขียนคนนี้
บทความใหม่ที่เกี่ยวข้องกับงานวิจัยของผู้เขียนคนนี้
ที่อยู่อีเมลที่ใช้รับข้อมูลอัปเดต
เสร็จสิ้น
โปรไฟล์ของฉัน
ห้องสมุดของฉัน
เมตริก
การแจ้งเตือน
การตั้งค่า
ลงชื่อเข้าสู่ระบบ
ลงชื่อเข้าสู่ระบบ
รับโปรไฟล์ของฉันเอง
อ้างโดย
ทั้งหมด
ตั้งแต่ปี 2019
การอ้างอิง
24
24
ดัชนี h
2
2
ดัชนี i10
2
2
0
8
4
2019
2020
2021
2022
2023
2024
3
1
3
6
7
4
ผู้เขียนร่วม
Andrew M Pitts
Emeritus Professor of Theoretical Computer Science, University of Cambridge
ยืนยันอีเมลแล้วที่ cl.cam.ac.uk
Marcelo Fiore
Professor in Mathematical Foundations of Computer Science
ยืนยันอีเมลแล้วที่ cl.cam.ac.uk
ติดตาม
S. C. Steenkamp
PhD student,
University of Cambridge
ยืนยันอีเมลแล้วที่ cl.cam.ac.uk
Type Theory
Category Theory
Logic
Philosopy of Mathematics
บทความ
อ้างโดย
ผู้เขียนร่วม
ชื่อ
จัดเรียง
เรียงตามการอ้างอิง
เรียงตามปี
เรียงตามชื่อ
อ้างโดย
อ้างโดย
ปี
Quotients, inductive types, and quotient inductive types
MP Fiore, AM Pitts, SC Steenkamp
Logical Methods in Computer Science 18
, 2022
13
*
2022
Constructing Infinitary Quotient-Inductive Types
M Fiore, A Pitts, S Steenkamp
Springer
, 2020
10
2020
Constructing Initial Algebras Using Inflationary Iteration
AM Pitts, SC Steenkamp
arXiv preprint arXiv:2105.03252
, 2021
1
2021
Code supporting "Constructing Initial Algebras Using Inflationary Iteration"
A Pitts, S Steenkamp
2021
Agda code supporting "Quotients, Inductive Types and Quotient Inductive Types"
A Pitts, S Steenkamp, M Fiore
2021
Code supporting "Constructing Infinitary Quotient-Inductive Types"
M Fiore, A Pitts, S Steenkamp
2020
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–6
แสดงเพิ่มเติม
ความเป็นส่วนตัว
ข้อกำหนด
ความช่วยเหลือ
เกี่ยวกับ Scholar
ศูนย์ช่วยเหลือของ Search